@article{demaria:hal-03053930,
  TITLE = {{On the Use of Formal Methods to Model and Verify Neuronal Archetypes}},
  AUTHOR = {De Maria, Elisabetta and Bahrami, Abdorrahim and L'yvonnet, Thibaud and Felty, Amy and Gaff{\'e}, Daniel and Ressouche, Annie and Grammont, Franck},
  URL = {https://hal.archives-ouvertes.fr/hal-03053930},
  JOURNAL = {{Frontiers of Computer Science}},
  PUBLISHER = {{Springer Verlag}},
  VOLUME = {16},
  PAGES = {28},
  YEAR = {2020},
  MONTH = Dec,
  KEYWORDS = {Neuronal Networks ; Leaky Integrate and Fire Modeling ; Synchronous Languages ; Model Checking ; Theorem Proving ; Lustre ; Coq ; Formal Methods},
  PDF = {https://hal.archives-ouvertes.fr/hal-03053930/file/archetypes-fcs-hal.pdf},
}