Login / Signup
Iulia Dragomir
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 17
Top Topics
Compositional Semantics
Reactive Systems
Petri Net
Formal Verification
Top Venues
CoRR
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
VMCAI
FORTE
</>
Publications
</>