@inproceedings{ghow12,
  title = "Branching-Time Model Checking of Parametric One-Counter Automata",
  author = "Stefan G\"oller and Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2012",
  booktitle = "Proceedings of the 15th International Conference on Foundations of Software Science and Computer Security ({FoSSaCS'12})",
  editor = "Lars Birkedal",
  month = "March",
  pages = "406--420",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "7213",
  doi = "10.1007/978-3-642-28729-9_27",
}