@inproceedings{HKOW-09concur,
  title = "Reachability in Succinct and Parametric One-Counter Automata",
  author = "Christoph Haase and Stephan Kreutzer and Joel Ouaknine and James Worrell",
  year = "2009",
  booktitle = "Proceedings of the 20th International Conference on Concurrency Theory ({CONCUR'09})",
  copyright = "Springer-Verlag",
  editor = "M. Bravetti and G. Zavattaro",
  location = "Bologna, Italy",
  month = "September",
  pages = "369--383",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5710",
  doi = "10.1007/978-3-642-04081-8_25",
}