Login / Signup
Norine Coenen
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 17
Top Topics
Visual Analysis
Reactive Systems
Temporal Logic
Model Checking
Top Venues
CoRR
CAV (1)
ATVA
PerDis
</>
Publications
</>