TY  - RPRT
TI  - On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
AU  - Lubos Brim
AU  - Milan Ceska
AU  - Sven Drazan
AU  - David Safranek
PY  - 2013
UR  - https://arxiv.org/abs/1310.4734
ID  - 1310.4734
ER  -