@InProceedings{divine-cav-06,
author = {J. Barnat and L. Brim and I. Cerna and P. Moravec and P. Rockai and P. Simecek},
title = {{DiVinE - A Tool for Distributed Verification}},
booktitle = {Computer Aided Verification, 18th International Conference (CAV 2006)},
pages = {278-281},
year = {2006},
editor = {T. Ball and R. B. Jones},
volume = {4144},
series = {Lecture Notes in Computer Science},
publisher = {Springer Berlin/Heidelberg}
}