The following pages link to (Q3505122):
Displayed 4 items.
- Test generation from P systems using model checking (Q987969) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)