@inproceedings{demaria:hal-01643862,
  TITLE = {{Modelling and Formal Verification of Neuronal Archetypes Coupling }},
  AUTHOR = {De Maria, Elisabetta and L 'yvonnet, Thibaud and Gaff{\'e}, Daniel and Ressouche, Annie and Grammont, Franck},
  URL = {https://hal.inria.fr/hal-01643862},
  BOOKTITLE = {{CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics}},
  ADDRESS = {Nha Trang, Vietnam},
  VOLUME = {17},
  YEAR = {2017},
  MONTH = Dec,
  DOI = {10.1145/3156346.3156348},
  KEYWORDS = {Neuronal Networks ; Leaky Integrate and Fire Modeling ; Synchronous Languages ; Model Checking ; Model Coupling},
  PDF = {https://hal.inria.fr/hal-01643862/file/DLMG17CSBIO-sigconf-author-paper.pdf},
  HAL_ID = {hal-01643862},
  HAL_VERSION = {v1},
}