Model Checking Succinct and Parametric One−Counter Automata

Model Checking Succinct and Parametric One−Counter Automata

Show other versions (1)
Bibliographic Details
Main Authors: Göller, S, Haase, C, Ouaknine, J, Worrell, J
Other Authors: Abramsky, S
Format: Conference item
Published: Springer 2010

Similar Items