Pages that link to "Item:Q5415630"
From MaRDI portal
The following pages link to HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630):
Displayed 8 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Hybrid Modelling in Biology: a Classification Review (Q4607477) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)