H
[Haa12] Christoph Haase. On the Complexity of Model Checking Counter Automata. PhD thesis, University of Oxford, UK, January 2012. 
@phdthesis{phd-haase,
  author =              {Haase, Christoph},
  title =               {On the Complexity of Model Checking Counter
                         Automata},
  year =                {2012},
  month =               jan,
  school =              {University of Oxford, UK},
}
List of authors