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