Pages that link to "Item:Q2271444"
From MaRDI portal
The following pages link to Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444):
Displayed 7 items.
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Process calculi for biological processes (Q6062000) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)