Branching−Time Model Checking of Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell
Book Title
Proceedings of the 15th International Conference on Foundations of Software Science and Computer Security (FoSSaCS'12)
Editor
Lars Birkedal
Month
March
Pages
406–420
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
7213
Year
2012