@article{BBK+2012,
 acmid = {2189811},
 address = {Los Alamitos, CA, USA},
 author = {Jiří Barnat and Luboš Brim and Adam Krejci and Adam Streck and David Šafránek and Martin Vejnár and Tomáš Vejpustek},
 doi = {10.1109/TCBB.2011.110},
 issn = {1545-5963},
 issue_date = {May 2012},
 journal = {IEEE/ACM Trans. Comput. Biol. Bioinformatics},
 keywords = {Biological networks, dynamical systems, parallel model checking, parameter synthesis, systems biology.},
 month = may,
 number = {3},
 numpages = {13},
 pages = {693--705},
 publisher = {IEEE Computer Society Press},
 title = {On Parameter Synthesis by Parallel Model Checking},
 url = {http://dx.doi.org/10.1109/TCBB.2011.110},
 volume = {9},
 year = {2012}
}