@conference{ghow-icalp10,
  title = "Model Checking Succinct and Parametric One-Counter Automata",
  author = "Stefan Göller and Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2010",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming ({ICALP'10}), Track B (Part II)",
  copyright = "Springer",
  editor = "Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis",
  location = "Bordeaux, France",
  month = "July",
  pages = "575--586",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6199",
  doi = "10.1007/978-3-642-14162-1_48",
}