Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. In Eugenio Cinquemani, Alexandre Donzé, editors, Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings. Volume 9957 of Lecture Notes in Computer Science, pages 97-112, 2016. [doi]
Abstract is missing.