@InProceedings{BBR09,
  author =       "Ji\v{r}\'{\i} Barnat and Lubo\v{s} Brim and Petr Ro\v{c}kai",
  title =        "{DiVinE 2.0: High-Performance Model Checking}",
  booktitle =    "2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009)",
  pages =        "31--32",
  year =         "2009",
  publisher =    "IEEE Computer Society Press"
}