@inproceedings{BBR08,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {Automated Technology for Verification and Analysis (ATVA 2008)},
 pages = {234--239},
 publisher = {Springer},
 series = {LNCS},
 title = {{DiVinE Multi-Core -- A Parallel LTL Model-Checker}},
 volume = {5311},
 year = {2008}
}