@Article{BBC+08,
  author =       "J. Barnat and L. Brim and I. \v{C}ern\'{a} and S. Dra\v{z}an and D. \v{S}afr\'{a}nek",
  title =        "{Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE}",
  journal =      "ENTCS",
  pages =        "35--50",
  year =         "2008",
  volume =       "194",
  number =       "3",
  series =       "ENTCS",
  publisher =    "Elsevier"
}