Skip to main content

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