@InProceedings{BBC+08,
  author =       "J. Barnat and L. Brim and I. \v{C}ern\'{a} and M. \v{C}e\v{s}ka and J. T\r{u}mov\'{a}",
  title =        "{ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems}",
  booktitle =    "QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems",
  year =         "2008",
  isbn =         "978-0-7695-3360-5",
  pages =        "77--78",
  doi =          "http://dx.doi.org/10.1109/QEST.2008.29",
  publisher =    "IEEE Computer Society",
  address =      "Washington, DC, USA"
}