@misc{indiciae33458f11f338,
  title = {BioDiVinE: A Framework for Parallel Analysis of Biological Models},
  author = {Jiří Barnat and Luboš Brim and Ivana Černá and Sven Dražan and Jana Fabriková and Jan Láník and David Šafránek and Hongwu Ma},
  year = {2009},
  doi = {10.4204/eptcs.6.3},
  url = {https://arxiv.org/abs/0910.0928},
  note = {Source identifier: 0910.0928}
}