kPWorkbench
From MaRDI portal
Software:31479
Author name not available (Why is that?)
Related Items (4)
Formal verification of cP systems using Coq ⋮ Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ An Integrated Model Checking Toolset for Kernel P Systems
This page was built for software: kPWorkbench
