On the Complexity of Model Checking Counter Automata
Christoph Haase
Institution
University of Oxford
Month
January
Pages
220
Year
2012
Christoph Haase