@InProceedings{BBR08,
  author =       "J. Barnat and L. Brim and P. Ro\v{c}kai",
  title =        "{DiVinE Multi-Core -- A Parallel LTL Model-Checker}",
  booktitle =    "Automated Technology for Verification and Analysis (ATVA 2008)",
  pages =        "234--239",
  year =         "2008",
  volume =       "5311",
  series =       "LNCS",
  publisher =    "Springer"
}