Symbolic Model Checking of Biochemical Networks
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 149-162
- https://doi.org/10.1007/3-540-36481-1_13
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Some lessons from the HYTECH experiencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Probabilistic abstraction for model checking: an approach based on property testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingPublished by Springer Nature ,2002
- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological SystemsPublished by Springer Nature ,2002
- Hybrid Modeling and Simulation of Biomolecular NetworksPublished by Springer Nature ,2001
- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid ModelPublished by Springer Nature ,2001
- Model Checking in CLPPublished by Springer Nature ,1999
- Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets.Bioinformatics, 1999
- An introduction to assertional reasoning for concurrent systemsACM Computing Surveys, 1993
- Temporal and Modal LogicPublished by Elsevier ,1990