Model Checking Succinct and Parametric One-Counter Automata
Attributed to:
Quantitative Verification: From Model Checking to Model Measuring
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-14162-1_48
Publication URI: http://dx.doi.org/10.1007/978-3-642-14162-1_48
Type: Book Chapter
Book Title: Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (2010)
Page Reference: 575-586
ISBN: 978-3-642-14161-4