Pages that link to "Item:Q5452054"
From MaRDI portal
The following pages link to A Hybrid Approach to Modeling Biological Systems (Q5452054):
Displayed 7 items.
- Modeling membrane systems using colored stochastic Petri nets (Q269787) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- An Approach to the Engineering of Cellular Models Based on P Systems (Q3576075) (← links)
- MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USING<font>P</font>SYSTEMS (Q3636155) (← links)
- Deterministic and stochastic P systems for modelling cellular processes (Q5962070) (← links)