@inproceedings{BBR07,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {Model Checking Software},
 isbn = {978-3-540-73369-0},
 opteditor = {Dragan Bošna\v{c}ki and Stefan Edelkamp},
 optlocation = {Heidelberg},
 pages = {187--203},
 publisher = {Springer},
 series = {LNCS},
 title = {Scalable Multi-core LTL Model-Checking},
 volume = {4595},
 year = {2007}
}