@inproceedings{BBC+07b,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Sven Dražan and David Šafránek},
 booktitle = {Towards Systems Biology},
 publisher = {Verimag},
 title = {Parallel Model-Checking Genetic Regulatory Networks},
 year = {2007}
}