Pages that link to "Item:Q2890294"
From MaRDI portal
The following pages link to Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294):
Displaying 4 items.
- A Prolog simulator for deterministic P systems with active membranes (Q1762939) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
- Towards a general methodology for formal verification on spiking neural P systems (Q6590079) (← links)