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]

Abstract

Abstract is missing.