TY  - RPRT
TI  - BioDiVinE: A Framework for Parallel Analysis of Biological Models
AU  - Jiří Barnat
AU  - Luboš Brim
AU  - Ivana Černá
AU  - Sven Dražan
AU  - Jana Fabriková
AU  - Jan Láník
AU  - David Šafránek
AU  - Hongwu Ma
PY  - 2009
DO  - 10.4204/eptcs.6.3
UR  - https://arxiv.org/abs/0910.0928
ID  - 0910.0928
ER  -