Login / Signup
José Proença
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 37
Top Topics
Product Line
Timed Automata
Operational Semantics
Invited Paper
Top Venues
CoRR
Sci. Comput. Program.
COORDINATION
FSEN
</>
Publications
</>