@inproceedings{BauerTobenWestphal2007,
  author       = "J{\"o}rg Bauer and Tobe Toben and Bernd Westphal",
  title        = {{Mind the Shapes: Abstraction Refinement via Topology Invariants}},
  booktitle    = "Proceedings of the Fifth International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)",
  editor       = "K. S. Namjoshi and T. Yoneda and T. Higashino and Y. Okamura",
  address      = "Tokyo, Japan",
  publisher    = "Springer-Verlag",
  series       = "LNCS",
  volume       = "4762",
  pages        = "35--50",
  month        = oct,
  year         = 2007
}