@inproceedings{wehrle-kupferschmid-spin2010,
  author =	 {Martin Wehrle and Sebastian Kupferschmid},
  title =	 {Context-Enhanced Directed Model Checking},
  pages =	 {88--105},
  crossref =	 {spin2010}
}

@proceedings{spin2010,
  title =	 {Proceedings of the 17th International {SPIN}
                  Workshop on Model Checking Software},
  booktitle =	 {Proceedings of the 17th International {SPIN}
                  Workshop on Model Checking Software},
  editor =	 {Jaco van de Pol and Michael Weber},
  series =	 {Lecture Notes in Computer Science},
  volume =	 6349,
  publisher =	 {Springer-Verlag},
  year =	 2010,
}