Model Checking Succinct and Parametric One−Counter Automata

Bibliographic Details
Main Authors:	Göller, S, Haase, C, Ouaknine, J, Worrell, J
Other Authors:	Abramsky, S
Format:	Conference item
Published:	Springer 2010

Model Checking Succinct and Parametric One-Counter Automata. by Göller, S, Haase, C, Ouaknine, J, Worrell, J

Published 2010

Journal article