Citations refer to the original publication, not to a Scieee localized version.
Gutiérrez Naranjo, M. Á., Pérez Jiménez, M. D. J., & Ramírez Martínez, D. (2008). A software tool for verification of Spiking Neural P Systems. Springer. https://doi.org/10.1007/s11047-008-9083-y
Gutiérrez Naranjo, Miguel Ángel, et al. A software tool for verification of Spiking Neural P Systems. Springer, 2008. https://doi.org/10.1007/s11047-008-9083-y.
Gutiérrez Naranjo, Miguel Ángel, Mario de Jesús Pérez Jiménez, and Daniel Ramírez Martínez. A software tool for verification of Spiking Neural P Systems. Springer, 2008. https://doi.org/10.1007/s11047-008-9083-y.
Gutiérrez Naranjo, M. Á., Pérez Jiménez, M. D. J. and Ramírez Martínez, D. (2008) A software tool for verification of Spiking Neural P Systems. Springer. Available at: https://doi.org/10.1007/s11047-008-9083-y.
M. Á. Gutiérrez Naranjo, M. D. J. Pérez Jiménez, and D. Ramírez Martínez, “A software tool for verification of Spiking Neural P Systems,” Springer, 2008, doi: 10.1007/s11047-008-9083-y.
@misc{gutierreznaranjo2008software,
author = {Gutiérrez Naranjo, Miguel Ángel and Pérez Jiménez, Mario de Jesús and Ramírez Martínez, Daniel},
title = {A software tool for verification of Spiking Neural P Systems},
year = {2008},
publisher = {Springer},
doi = {10.1007/s11047-008-9083-y},
url = {https://doi.org/10.1007/s11047-008-9083-y}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.