Model-checking in systems biology -- from micro to macro

DOI10.1007/978-3-319-10398-3_1MaRDI QIDQ5500398zbMATH OpenOpenAlexFDO

Authors Pieter Collins

Publication date 6 August 2015

Published in Formal Methods in Macro-Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10398-3_1

zbMATH Keywords

analysiselectrophysiologyhybrid automatanumerical toolsreachabilityverification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Physiology (general) (92C30) Systems biology, networks (92C42)

Recommendations

• Model checking of biological systems
• scientific article; zbMATH DE number 1950556
• Probabilistic model checking of biological systems with uncertain kinetic rates
• scientific article; zbMATH DE number 6531176
• Computational Methods in Systems Biology

This page was built for publication: Model-checking in systems biology -- from micro to macro

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5500398)