Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont. On the use of formal methods to model and verify neuronal archetypes. Frontiers of Computer Science in China, 16(3):163404, 2022. [doi]
@article{MariaBLFGRG22,
title = {On the use of formal methods to model and verify neuronal archetypes},
author = {Elisabetta De Maria and Abdorrahim Bahrami and Thibaud L'Yvonnet and Amy P. Felty and Daniel Gaffé and Annie Ressouche and Franck Grammont},
year = {2022},
doi = {10.1007/s11704-020-0029-6},
url = {https://doi.org/10.1007/s11704-020-0029-6},
researchr = {https://researchr.org/publication/MariaBLFGRG22},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {16},
number = {3},
pages = {163404},
}