Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
L. Brim‚ M. Češka‚ S. Dražan and D. Šafránek
Book Title
Computer Aided Verification (CAV'13)
ISBN
978−3−642−39798−1
Pages
107−123
Publisher
Springer Berlin Heidelberg
Series
LNCS
Volume
8044
Year
2013