@inproceedings{BBC05b,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá},
 booktitle = {{Formal Methods for Components and Objects}},
 month = {November},
 number = {4111},
 opteditor = {de Boer et al.},
 pages = {259--279},
 series = {LNCS},
 title = {{Cluster-Based LTL Model Checking of Large Systems}},
 year = {2005}
}