Pages that link to "Item:Q5179426"
From MaRDI portal
The following pages link to Modelling Biological Compartments in Bio-PEPA (Q5179426):
Displayed 8 items.
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)