Reachability in Succinct and Parametric One-Counter Automata

Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
January 2009
PDF DOI
Type
Conference paper
Publication
Concurrency Theory, CONCUR