@InProceedings{BBC03,
  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"
}