@inproceedings{bkw2007-hvc,
  title = "A Complete Bounded Model Checking Algorithm for Pushdown Systems",
  author = "Basler, Gerard and Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of HVC 2007",
  isbn = "978-3-540-77964-3",
  pages = "202--217",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4899",
}