@inproceedings{guinaudeau:hal-01663555,
  TITLE = {{Computer-Aided Formal Proofs about Dendritic Integration within a Neuron}},
  AUTHOR = {Guinaudeau, Oph{\'e}lie and Bernot, Gilles and Muzy, Alexandre and Gaff{\'e}, Daniel and Grammont, Franck},
  URL = {https://hal.archives-ouvertes.fr/hal-01663555},
  BOOKTITLE = {{BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms}},
  ADDRESS = {Funchal Madeira, Portugal},
  YEAR = {2018},
  MONTH = Jan,
  KEYWORDS = {Single Neuron Modelling ;  Dendrites ;  Signal Integration ;  Formal Methods ;  Model Checking},
  HAL_ID = {hal-01663555},
  HAL_VERSION = {v1},
}