@InProceedings{kupferschmid-wehrle-tacas2011,
  author =	 {Sebastian Kupferschmid and Martin Wehrle},
  title =	 {Abstractions and Pattern Databases: The Quest for
                  Succinctness and Accuracy},
  crossref =	 {tacas2011},
  pages =	 {276--290}
}

@Proceedings{tacas2011,
  booktitle =	 {Proceedings of the 17th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2011)},
  year =	 2011,
  editor =	 {Parosh A. Abdulla and K. Rustan M. Leino},
  volume =	 6605,
  series =	 {LNCS},
  publisher =	 {Springer-Verlag}
}