Lyapunov Functions for the Set Stability and the Synchronization of Boolean Control Networks | IEEE Journals & Magazine | IEEE Xplore