@inproceedings{BBC03,
 author = {Jiří Barnat and Luboš Brim and Jakub Chaloupka},
 booktitle = {18th IEEE International Conference on Automated Software Engineering (ASE'03)},
 month = {Oct.},
 pages = {106--115},
 publisher = {IEEE Computer Society},
 title = {{P}arallel {B}readth-{F}irst {S}earch {LTL} {M}odel-{C}hecking},
 year = {2003}
}