Reachability in Succinct and Parametric One−Counter Automata
Christoph Haase‚ Stephan Kreutzer‚ Joël Ouaknine and James Worrell
Book Title
Concurrency Theory‚ CONCUR
Pages
369–383
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
5710
Year
2009