@InProceedings{BBC+09,
  author =       "J. Barnat and L. Brim and I. \v{C}ern\'{a} and S. Dra\v{z}an and J. Fabrikov\'{a} and J. L\'{a}n\'{\i}k and D. \v{S}afr\'{a}nek",
  title =        "{BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models}",
  booktitle =    "Proceedings of The 7th Conference on Computational Methods in Systems Biology (CMSB'09)",
  publisher =    "Universita di Pisa",
  series =       "Technical Report",
  volume =       "TR-09-09",
  pages =        "1--5",
  year =         "2009"
}