@inproceedings{BauerTobenWestphal2007,
  author       = "J{\"o}rg Bauer and Tobe Toben and Bernd Westphal",
  title        = "Mind the Shapes: Abstraction Refinement Via Topology Invariants",
  year         = "2007",
  crossref     = "ProcATVA2007",
  pages        = "35--50"
}

@proceedings{ProcATVA2007,
  editor    = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
  title     = {Automated Technology for Verification and Analysis,
               5th International Symposium, ATVA 2007, Tokyo, Japan,
               October 2007, Proceedings},
  booktitle = {ATVA},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = {4762},
  year      = {2007},
  isbn      = {3-540-75595-0}
}