@InProceedings{BFLW05,
  author =       "J. Barnat and V. Forejt and M. Leucker and M. Weber",
  title =        "{D}iv{SPIN} -- {A} {SPIN} compatible distributed model checker",
  booktitle =    "Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation",
  pages =        "95--100",
  year =         "2005",
  editor =       "M. Leucker and J. van de Pol",
  month =        "July"
}