The following pages link to Formal Methods in Macro-Biology (Q5500397):
Displaying 9 items.
- Model-Checking in Systems Biology - From Micro to Macro (Q5500398) (← links)
- Developing Quantitative Methods in Community Ecology: Predicting Species Abundances from Qualitative Web Interaction Data (Q5500399) (← links)
- Control of a Bioreactor with Quantized Measurements (Q5500400) (← links)
- External Interactions on Hybrid Models of Biological Systems (Q5500401) (← links)
- Attractor Equivalence: An Observational Semantics for Reaction Networks (Q5500402) (← links)
- Petri Nets Are a Biologist’s Best Friend (Q5500404) (← links)
- 50 Shades of Rule Composition (Q5500405) (← links)
- A Logical Framework for Systems Biology (Q5500406) (← links)
- Completing SBGN-AF Networks by Logic-Based Hypothesis Finding (Q5500409) (← links)
