Skip to main content

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