The following pages link to kPWorkbench (Q31479):
Displaying 4 items.
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME (Q2975920) (← links)