%0 Journal Article %1 journals/fcsc/MariaBLFGRG22 %A Maria, Elisabetta De %A Bahrami, Abdorrahim %A L'Yvonnet, Thibaud %A Felty, Amy P. %A Gaffé, Daniel %A Ressouche, Annie %A Grammont, Franck %D 2022 %J Frontiers Comput. Sci. %K dblp %N 3 %P 163404 %T On the use of formal methods to model and verify neuronal archetypes. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc16.html#MariaBLFGRG22 %V 16

@article{journals/fcsc/MariaBLFGRG22, added-at = {2022-04-09T00:00:00.000+0200}, author = {Maria, Elisabetta De and Bahrami, Abdorrahim and L'Yvonnet, Thibaud and Felty, Amy P. and Gaffé, Daniel and Ressouche, Annie and Grammont, Franck}, biburl = {https://www.bibsonomy.org/bibtex/283c79bc241bc00c0c1aa1dc6357d1326/dblp}, ee = {https://doi.org/10.1007/s11704-020-0029-6}, interhash = {52367a67d1cb98e9356cd049b050b264}, intrahash = {83c79bc241bc00c0c1aa1dc6357d1326}, journal = {Frontiers Comput. Sci.}, keywords = {dblp}, number = 3, pages = 163404, timestamp = {2024-04-09T05:10:35.000+0200}, title = {On the use of formal methods to model and verify neuronal archetypes.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc16.html#MariaBLFGRG22}, volume = 16, year = 2022 }