On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
From MaRDI portal
Publication:6511529
zbMatharXiv:1310.4734MaRDI QIDQ6511529
Luboš Brim, Milan Češka, David Šafránek, Sven Drazan
Publication date: 1 January 1
This page was built for publication: On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
