Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.

Lubos Brim, Milan Ceska, Sven Drazan, David Safrnek

Browse the full CAV paper archive.