@inproceedings{demaria:hal-01638248,
  TITLE = {{A Model-checking Approach to Reduce Spiking Neural Networks}},
  AUTHOR = {De Maria, Elisabetta and Gaff{\'e}, Daniel and Ressouche, Annie and Girard Riboulleau, C{\'e}dric},
  URL = {https://hal.archives-ouvertes.fr/hal-01638248},
  BOOKTITLE = {{BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms}},
  ADDRESS = {Funchal Madeira, Portugal},
  PAGES = {1-8},
  YEAR = {2018},
  MONTH = Jan,
  KEYWORDS = {Neural Spiking Networks ; Probabilistic Models ; Temporal Logic ; Model Checking ; Network Reduction},
  PDF = {https://hal.archives-ouvertes.fr/hal-01638248/file/bioinformatics_demaria.pdf.pdf},
  HAL_ID = {hal-01638248},
  HAL_VERSION = {v1},
}