@inproceedings{barnat10parameter,
 author = {Jiří Barnat and Luboš Brim and David Šafránek and Martin Vejnár},
 booktitle = {{Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)}},
 keywords = {divine},
 publisher = {IEEE},
 title = {{Parameter Scanning by Parallel Model Checking with
Applications in Systems Biology}},
 year = {2010}
}