Your search
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
MODEL CHECKING AND STATE MACHINES
Resource type
Results
3 resources-
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
-
Boutillier, P., Maasha, M., Li, X., Medina-Abarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rule-based modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
MODEL CHECKING AND STATE MACHINES
PROGRAMMING LANGUAGES
Methodology
- Implementation (3)
Topic
Resource type
Publication year
- Between 2000 and 2022 (2)
- Unknown (1)