Publication I3S dans HAL hal.archives-ouvertes.fr

Classement par Dernière publication déclarée dans HAL / ordre alphabétique Premier auteur
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Computer-Aided Formal Proofs about Dendritic Integration within a Neuron.
BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. 2018, 〈http://www.bioinformatics.biostec.org/〉,
Communication dans un congrès
hal-01663555

Giacomo Calvigioni, Ra