@InProceedings{BBC+07,
  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: A Parallel Qualitative LTL Model Checker}",
  booktitle =    "{Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07)}",
  pages =        "215--216",
  year =         "2007",
  optmonth =     "September",
  publisher =    "IEEE Computer Society"
}