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]
No references recorded for this publication.
No citations of this publication recorded.