@article{BBC+08,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Sven Dražan and David Šafránek},
 journal = {ENTCS},
 number = {3},
 pages = {35--50},
 publisher = {Elsevier},
 series = {ENTCS},
 title = {{Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE}},
 volume = {194},
 year = {2008}
}