@InProceedings{kupferschmid-etal-tacas2008,
  author = 	 {Sebastian Kupferschmid and J\"org Hoffmann and Kim
                  G. Larsen},
  title = 	 {Fast Directed Model Checking Via Russian Doll
                  Abstraction},
  crossref =     {tacas2008},
  pages = 	 {203--217}
}

@Proceedings{tacas2008,
  booktitle = 	 {Proceedings of the 14th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2008)},
  year = 	 2008,
  editor = 	 {C. R. Ramakrishnan and Jakob Rehof},
  volume = 	 4963,
  series = 	 {LNCS},
  publisher =    {Springer-Verlag}
}