@inproceedings{BBCS05,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Pavel Šimeček},
 booktitle = {Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation},
 editor = {M. Leucker and J. van de Pol},
 month = {July},
 pages = {89--94},
 title = {{D}i{V}in{E} -- {T}he {D}istributed {V}erification {E}nvironment},
 year = {2005}
}