@inbook{BCDS2013,
 address = {Berlin, Heidelberg},
 author = {Luboš Brim and Milan Češka and Sven Dražan and David Šafránek},
 booktitle = {Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
 doi = {10.1007/978-3-642-39799-8_7},
 editor = {Sharygina, Natasha
and Veith, Helmut},
 isbn = {978-3-642-39799-8},
 pages = {107--123},
 publisher = {Springer Berlin Heidelberg},
 title = {Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking},
 url = {http://dx.doi.org/10.1007/978-3-642-39799-8_7},
 year = {2013}
}