Your search
PROGRAMMING LANGUAGES
Topic
Resource type
Publication year
Results
2 resources-
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
-
Fages, F., Martinez, T., Rosenblueth, D. A., & Soliman, S. (2018). Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE/ACM Trans. Comput. Biol. Bioinformatics, 15(4), 1138–1151. https://doi.org/10/ggdf94
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (2)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (2)
- Symbolic logic (1)
- Transition systems (2)
PROGRAMMING LANGUAGES
Methodology
- Implementation (1)
Topic
Resource type
Publication year
Online resource
- yes (2)