Login / Signup
Irina Mariuca Asavoae
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 14
Top Topics
Recursive Programs
Temporal Properties
Model Checking
Timed Automata
Top Venues
CoRR
SPIN
J. Log. Algebraic Methods Program.
SPRO@CCS
</>
Publications
</>