Branching−Time Model Checking of Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell
Details
| 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 |
Links
DOI (10.1007/978-3-642-28729-9_27)
Related pages
|
People |