Login / Signup
Angela Pappagallo
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 4
Top Topics
Cyber Physical Systems
Model Checking
Temporal Logic
Timed Automata
Top Venues
Inf.
AI*IA
IPS-RCRA@AI*IA
OVERLAY@GandALF
</>
Publications
</>