@Inproceedings{EPTCS6.3,
  author    = {Barnat, Ji\v{r}\'i and Brim, Lubo\v{s} and \v{C}ern\'a, Ivana and Dra\v{z}an, Sven and Fabrikov\'a, Jana and L\'an\'ik, Jan and \v{S}afr\'anek, David and Ma, Hongwu},
  year      = {2009},
  title     = {BioDiVinE: A Framework for Parallel Analysis of Biological Models},
  editor    = {Back, Ralph-Johan and Petre, Ion and Vink, Erik de},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Computational Models for Cell Processes,
               {\rm Eindhoven, the Netherlands, November 3, 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {6},
  publisher = {Open Publishing Association},
  pages     = {31-45},
  doi       = {10.4204/EPTCS.6.3},
}