Login / Signup
Annie Ressouche
Publication Activity (10 Years)
Years Active: 1994-2022
Publications (10 Years): 5
Top Topics
Description Language
Model Checker
Spiking Neural Networks
Temporal Properties
Top Venues
CSBio
TASE
Frontiers Comput. Sci.
BIOINFORMATICS
</>
Publications
</>