@inproceedings{BBR09a,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {Formal Methods and Software Engineering (ICFEM 2009)},
 pages = {407--425},
 publisher = {Springer},
 series = {LNCS},
 title = {{A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties}},
 volume = {5885},
 year = {2009}
}