Branching−Time Model Checking of Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joël Ouaknine and James Worrell
Book Title
Foundations of Software Science and Computational Structures‚ FOSSACS
Pages
406–420
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
7213
Year
2012