Statistical Model Checking-Based Analysis of Biological Networks
Authors:
- 12 June 2019
- book chapter
- Published by Springer Nature
- p. 63-92
Abstract
No abstract availableKeywords
All Related Versions
This publication has 52 references indexed in Scilit:
- COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic2011
- Minimal model for human ventricular action potentials in tissueJournal of Theoretical Biology, 2008
- Molecular Biology of the Cell2007
- Physicochemical modelling of cell signalling pathwaysNature Cell Biology, 2006
- Behavioural Approximations for Restricted Linear Differential Hybrid Automata2006
- Stochastic Hybrid Systems2006
- Stochastic approximations of hybrid systems2005
- The statistical mechanics of complex signaling networks: nerve growth factor signalingPhysical Biology, 2004
- Discrete abstractions of hybrid systemsProceedings of the IEEE, 2000
- Symbolic Model Checking without BDDs1999