@Misc{divineweb,
  title = "{DiVinE -- Distributed Verification Environment, Masaryk University Brno}",
  url= {http://divine.fi.muni.cz/},
}

@InProceedings{BBR09tool,
  author =       "J. Barnat and L. Brim and P. Ro\v{c}kai",
  title =        "{DiVinE 2.0: High-Performance Model Checking}",
  booktitle =    "{High Performance Computational Systems Biology}",
  note =         "To appear",
  year =         "2009",
  publisher =    "IEEE Conference Publishing Services"
}