@inproceedings{BBC+09d,
 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},
 booktitle = {Proceedings of The 7th Conference on Computational Methods in Systems Biology (CMSB'09)},
 pages = {1--5},
 publisher = {Universita di Pisa},
 series = {Technical Report},
 title = {{BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models}},
 volume = {TR-09-09},
 year = {2009}
}