Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Elisabetta De Maria, Alexandre Muzy, Daniel Gaff ́eGaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.

...