-
1
-
2
-
3
-
4
-
5
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Veröffentlicht in arXiv.org
VolltextArtikel -
6
-
7
-
8
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
Veröffentlicht in arXiv.org
VolltextArtikel -
9
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Veröffentlicht in arXiv.org
VolltextArtikel