%0 Conference Paper %1 conf/hsb/MariaMGRG16 %A Maria, Elisabetta De %A Muzy, Alexandre %A Gaffé, Daniel %A Ressouche, Annie %A Grammont, Franck %B HSB %D 2016 %E Cinquemani, Eugenio %E Donzé, Alexandre %K dblp %P 97-112 %T Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. %U http://dblp.uni-trier.de/db/conf/hsb/hsb2016.html#MariaMGRG16 %V 9957 %@ 978-3-319-47150-1

@inproceedings{conf/hsb/MariaMGRG16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Maria, Elisabetta De and Muzy, Alexandre and Gaffé, Daniel and Ressouche, Annie and Grammont, Franck}, biburl = {https://www.bibsonomy.org/bibtex/2683c1fe1681c2aa8ec91cc9aa0d8f846/dblp}, booktitle = {HSB}, crossref = {conf/hsb/2016}, editor = {Cinquemani, Eugenio and Donzé, Alexandre}, ee = {https://doi.org/10.1007/978-3-319-47151-8_7}, interhash = {fdfbc73b6e683085442b7fd4db38def7}, intrahash = {683c1fe1681c2aa8ec91cc9aa0d8f846}, isbn = {978-3-319-47150-1}, keywords = {dblp}, pages = {97-112}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:48:43.000+0200}, title = {Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/hsb/hsb2016.html#MariaMGRG16}, volume = 9957, year = 2016 }