@article{BBR12OWCTY,
 acmid = {2350643},
 address = {Amsterdam, The Netherlands, The Netherlands},
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 doi = {10.1016/j.scico.2011.03.001},
 issn = {0167-6423},
 issue_date = {October, 2012},
 journal = {Science of Computer Programming},
 keywords = {Explicit model checking, On-the-fly, Parallel, Partial order
reduction, divine},
 month = oct,
 number = {12},
 numpages = {17},
 pages = {1272--1288},
 publisher = {Elsevier North-Holland, Inc.},
 title = {{On-the-fly Parallel Model Checking Algorithm that is Optimal for
Verification of Weak LTL Properties}},
 volume = {77},
 year = {2012}
}