@inproceedings{BBC+06,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Pavel Moravec and Petr Ročkai and Pavel Šimeček},
 booktitle = {{Computer Aided Verification}},
 pages = {278--281},
 publisher = {Springer Berlin / Heidelberg},
 series = {LNCS},
 title = {{DiVinE -- A Tool for Distributed Verification (Tool Paper)}},
 volume = {4144/2006},
 year = {2006}
}