@inproceedings{702469,
 address = {Berlin},
 author = {Jiří Barnat and Luboš Brim and Ivana Černá},
 booktitle = {Formal Methods for Components and Objects},
 isbn = {978-3-540-36749-9},
 keywords = {distributed LTL model checking},
 language = {eng},
 location = {Berlin},
 pages = {259-279},
 publisher = {Springer},
 title = {Cluster-Based LTL Model Checking of Large Systems},
 year = {2006}
}