Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

Bibliographic Details
Main Authors: Brim, L, Češka, M, Dražan, S, Šafránek, D
Format: Conference item
Published: Springer Berlin Heidelberg 2013