Complexity of reachability problems for finite discrete dynamical systems

Christopher L. Barrett(Cornell University), Richard E. Stearns(University at Albany, State University of New York), Daniel J. Rosenkrantz(University at Albany, State University of New York), Madhav Marathe(Virginia Tech), S. S. Ravi(University at Albany, State University of New York), Harry B. Hunt(University at Albany, State University of New York)
Journal of Computer and System Sciences
June 7, 2006
Cited by 82


Related Papers