@InProceedings{barnat-ase03,
  author = 	 {J. Barnat and L. Brim and J. Chaloupka},
  title = 	 {{P}arallel {B}readth-{F}irst {S}earch {LTL} {M}odel-{C}hecking},
  booktitle = 	 {18th IEEE International Conference on Automated Software Engineering (ASE'03)},
  pages = 	 {106--115},
  year = 	 {2003},
  month = 	 {Oct.},
  publisher = {IEEE Computer Society}
}