@article{BC06,
 author = {Jiří Barnat and Ivana Černá},
 journal = {{Special Issue on Parallel and Distributed Databases of Formal Methods in System Design}},
 month = {September},
 number = {2},
 pages = {117--134(18)},
 title = {{Distributed Breadth-First Search LTL Model Checking}},
 volume = {29},
 year = {2006}
}