@PhdThesis{       haase-thesis12,
  Author        = "Haase, Christoph",
  date-added    = "2012-07-11 16:08:57 +0200",
  date-modified = "2012-07-11 16:09:12 +0200",
  Institution   = "University of Oxford",
  Keywords      = "counter automata",
  Month         = "January",
  Pages         = "220",
  Title         = "On the Complexity of Model Checking Counter Automata",
  Year          = "2012",
  File          = "On the Complexity of Model Checking Counter Automata - Haase (0) (0) - a - a - y.pdf"
}

@PhdThesis{ haase-thesis12, Author = "Haase, Christoph", date-added = "2012-07-11 16:08:57 +0200", date-modified = "2012-07-11 16:09:12 +0200", Institution = "University of Oxford", Keywords = "counter automata", Month = "January", Pages = "220", Title = "On the Complexity of Model Checking Counter Automata", Year = "2012", File = "On the Complexity of Model Checking Counter Automata - Haase (0) (0) - a - a - y.pdf" }