@inproceedings{BBS09,
 author = {Jiří Barnat and Luboš Brim and Pavel Šimeček},
 booktitle = {24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)},
 pages = {635--639},
 publisher = {IEEE Computer Society},
 title = {{Cluster-Based I/O Efficient LTL Model Checking}},
 year = {2009}
}