@InProceedings{BB07,
  author =       "L. Brim and J. Barnat",
  title =        "Tutorial: Parallel Model Checking",
  booktitle =    "Model Checking Software",
  opteditor =    "Dragan Bo\v{s}na\v{c}ki and Stefan Edelkamp",
  publisher =    "Springer",
  optlocation =  "Heidelberg",
  series =       "LNCS",
  volume =       "4595",
  year =         "2007",
  isbn =         "978-3-540-73369-0",
  pages =        "2--3"
}