Dichotomy Results for Reachability Problems in Sequential Dynamical Systems

TitleDichotomy Results for Reachability Problems in Sequential Dynamical Systems
Publication TypeJournal Article
Year of Publication2006
AuthorsBarrett, C., H. H. B. III, M. Marathe, S. S. Ravi, D. J. Rosenkrantz, and R. E. Stearns
JournalJ. Computer and System Science
Volume72
Issue8
Pagination1317-1345