kPWorkbench

swMATH19654MaRDI QIDQ31479FDOQ31479

Author name not available (Why is that?)

Cited In (4)

• Spiking neural P systems: matrix representation and formal verification
• An Integrated Model Checking Toolset for Kernel P Systems
• Formal verification of cP systems using Coq
• Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

This page was built for software: kPWorkbench