Reachability problems for sequential dynamical systems with threshold functions

Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Reachability problems for sequential dynamical systems with threshold functions. Theoretical Computer Science, 295:41-64, 2003. [doi]

Bibliographies