@inproceedings{BCMS-divnie-pdmc05,
     author = {J. Barnat and L. Brim and I. {\v{C}}ern\'{a} and P. 
               {\v{S}}ime\v{c}ek},
     title = {{DiVinE}  The Distributed Verification Environment},
     editor = {M. Leucker and J. van de Pol},
     address = 	 {Lisbon, Portuga},
     year = {2005},
     month = {July},
     booktitle = {4th International Workshop on Parallel and Distributed Methods 
in verifiCation (PDMC'05)}
}