Reachability in Succinct and Parametric One-Counter Automata.

Christoph Haase, Stephan Kreutzer, Jol Ouaknine, James Worrell

Browse the full CONCUR paper archive.