kPWorkbench

swMATH19654MaRDI QIDQ31479FDOQ31479

Author name not available (Why is that?)

Official website: http://kpworkbench.org

Cited In (9)

• Spiking neural P systems: matrix representation and formal verification
• Agent-based simulation of kernel P systems with division rules using FLAME
• Formal verification of cP systems using Coq
• G-Hadoop
• MeCoSim
• FLAME
• CheCL
• CuSNP
• An integrated model checking toolset for kernel P systems

This page was built for software: kPWorkbench