The following pages link to (Q3505122):
Displayed 6 items.
- Test generation from P systems using model checking (Q987969) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← 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)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)