Pérez Jiménez, M. d. J., Valencia Cabrera, L., Orellana Martín, D., & Ramírez de Arellano Marrero, A. (2024). Towards a general methodology for formal verification on spiking neural P systems.
Citación estilo ChicagoPérez Jiménez, Mario de Jesús, Luis Valencia Cabrera, David Orellana Martín, y Antonio Ramírez de Arellano Marrero. Towards a General Methodology for Formal Verification On Spiking Neural P Systems. 2024.
Cita MLAPérez Jiménez, Mario de Jesús, Luis Valencia Cabrera, David Orellana Martín, y Antonio Ramírez de Arellano Marrero. Towards a General Methodology for Formal Verification On Spiking Neural P Systems. 2024.
Precaución: Estas citas no son 100% exactas.