Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Daniel Ramírez-Martínez. A software tool for verification of Spiking Neural P Systems. Natural Computing, 7(4):485-497, 2008. [doi]
@article{Gutierrez-NaranjoPR08, title = {A software tool for verification of Spiking Neural P Systems}, author = {Miguel A. Gutiérrez-Naranjo and Mario J. Pérez-Jiménez and Daniel Ramírez-Martínez}, year = {2008}, doi = {10.1007/s11047-008-9083-y}, url = {http://dx.doi.org/10.1007/s11047-008-9083-y}, researchr = {https://researchr.org/publication/Gutierrez-NaranjoPR08}, cites = {0}, citedby = {0}, journal = {Natural Computing}, volume = {7}, number = {4}, pages = {485-497}, }