A software tool for verification of spiking neural P systems
From MaRDI portal
Publication:1035723
DOI10.1007/s11047-008-9083-yzbMath1187.68236OpenAlexW1990140664MaRDI QIDQ1035723
Daniel Ramírez-Martínez, Mario J. Pérez-Jiménez, Miguel Á. Gutiérrez-Naranjo
Publication date: 4 November 2009
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://idus.us.es/handle/11441/68015
Learning and adaptive systems in artificial intelligence (68T05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Uses Software
Cites Work
This page was built for publication: A software tool for verification of spiking neural P systems