@phdthesis{haase-thesis12,
  title = "On the Complexity of Model Checking Counter Automata",
  author = "Christoph Haase",
  year = "2012",
  institution = "University of Oxford",
  month = "January",
  pages = "220",
}