@inproceedings{hsb2016,
  TITLE = {{Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems}},
  AUTHOR = {De Maria, Elisabetta and Muzy, Alexandre and Gaff{\'e}, Daniel and Ressouche, Annie and Grammont, Franck},
  URL = {https://hal.archives-ouvertes.fr/hal-01349188},
  BOOKTITLE = {{Fifth International Workshop on Hybrid Systems Biology}},
  ADDRESS = {Grenoble, France},
  VOLUME = {LNBI 9957},
  PAGES = {15},
  YEAR = {2016},
  MONTH = Oct,
  DOI = {10.1007/978-3-319-47151-8\_7},
  KEYWORDS = {Neuronal archetypes ;  reactive systems ;  synchronous languages ;  temporal properties ;  model checking},
}