@InProceedings{BBR09a,
  author =       "J. Barnat and L. Brim and P. Ro\v{c}kai",
  title =        "{A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties}",
  booktitle =    "Formal Methods and Software Engineering (ICFEM 2009)",
  pages =        "407--425",
  year =         "2009",
  volume =       "5885",
  series =       "LNCS",
  publisher =    "Springer"
}