Model Checking Succinct and Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joël Ouaknine and James Worrell
Book Title
Automata‚ Languages and Programming‚ ICALP
Pages
575–586
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
6199
Year
2010