@inproceedings{BB07,
 author = {Luboš Brim and Jiří Barnat},
 booktitle = {Model Checking Software},
 isbn = {978-3-540-73369-0},
 opteditor = {Dragan Bošna\v{c}ki and Stefan Edelkamp},
 optlocation = {Heidelberg},
 pages = {2--3},
 publisher = {Springer},
 series = {LNCS},
 title = {Tutorial: Parallel Model Checking},
 volume = {4595},
 year = {2007}
}