University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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

BibTeX

Download  (pdf)

DOI (10.1007/978-3-642-28729-9_27)

Related pages

People