@inproceedings{SEdelkampVSchuppanDBosnackiAWijsAFehnkerHAljazzar-MOCHART-2008,
  author    = {Stefan Edelkamp and Viktor Schuppan and Dragan Bo\v{s}na\v{c}ki and Anton Wijs and Ansgar Fehnker and Husain Aljazzar}
  title     = {Survey on Directed Model Checking},
  pages     = {65-89},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00431-5_5},
  crossref  = {conf/mochart/2008},
}

@proceedings{conf/mochart/2008,
  editor    = {Doron A. Peled and Michael J. Wooldridge},
  title     = {5th International Workshop on Model Checking and Artificial Intelligence (MoChArt'08), Revised Selected and Invited Papers, Patras, Greece, July 21, 2008},
  booktitle = {MoChArt'08},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5348},
  year      = {2009},
  isbn      = {978-3-642-00430-8},
}