@conference{dsilva_purandare_kroening_VMCAI08,
  title = "Approximation Refinement for Interpolation-Based Model Checking",
  author = "Vijay D'Silva and  Mitra Purandare and Daniel Kroening",
  year = "2008",
  address = "Heidelberg, Germany",
  booktitle = "Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
  copyright = "2008",
  editor = "Francesco Logozzo and Doron Peled and Lenore D. Zuck",
  isbn = "978-3-540-78162-2",
  issn = "0302-9743",
  month = "January",
  pages = "68--82",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/0vx4605k3w51u873/",
  volume = "4905",
  doi = "10.1007/978-3-540-78163-9",
}