%0 Conference Paper %1 conf/biostec/GuinaudeauBMGG18 %A Guinaudeau, Ophélie %A Bernot, Gilles %A Muzy, Alexandre %A Gaffé, Daniel %A Grammont, Franck %B BIOINFORMATICS %D 2018 %E Anderson, Paul %E Gamboa, Hugo %E Fred, Ana L. N. %E i Badia, Sergi Bermúdez %I SciTePress %K dblp %P 49-60 %T Computer-aided Formal Proofs about Dendritic Integration within a Neuron. %U http://dblp.uni-trier.de/db/conf/biostec/bioinformatics2018.html#GuinaudeauBMGG18 %@ 978-989-758-280-6

@inproceedings{conf/biostec/GuinaudeauBMGG18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Guinaudeau, Ophélie and Bernot, Gilles and Muzy, Alexandre and Gaffé, Daniel and Grammont, Franck}, biburl = {https://www.bibsonomy.org/bibtex/29be4cb8f15897e97f6ac579c32d28add/dblp}, booktitle = {BIOINFORMATICS}, crossref = {conf/biostec/2018bi}, editor = {Anderson, Paul and Gamboa, Hugo and Fred, Ana L. N. and i Badia, Sergi Bermúdez}, ee = {https://doi.org/10.5220/0006680500490060}, interhash = {8a0e8c5292674f3a75435ae71a6435ab}, intrahash = {9be4cb8f15897e97f6ac579c32d28add}, isbn = {978-989-758-280-6}, keywords = {dblp}, pages = {49-60}, publisher = {SciTePress}, timestamp = {2019-10-22T15:27:48.000+0200}, title = {Computer-aided Formal Proofs about Dendritic Integration within a Neuron.}, url = {http://dblp.uni-trier.de/db/conf/biostec/bioinformatics2018.html#GuinaudeauBMGG18}, year = 2018 }