![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | 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) |
1 | Miguel A. Gutiérrez-Naranjo | [1] |
2 | Mario J. Pérez-Jiménez | [1] |