Model Checking Succinct and Parametric One−Counter Automata

Model Checking Succinct and Parametric One−Counter Automata

Show other versions (1)
מידע ביבליוגרפי
Main Authors: Göller, S, Haase, C, Ouaknine, J, Worrell, J
מחברים אחרים: Abramsky, S
פורמט: Conference item
יצא לאור: Springer 2010

פריטים דומים