@article{BBC+09c,
 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},
 doi = {10.4204/EPTCS.6.3},
 journal = {Electronic Proceedings in Theoretical Computer Science (COMPMOD 2009)},
 pages = {31--45},
 title = {{BioDiVinE: A Framework for Parallel Analysis of Biological Models}},
 url = {http://arxiv.org/abs/0910.0928v1},
 volume = {6},
 year = {2009}
}