Login / Signup
Carlos Mão de Ferro
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 4
Top Topics
Timed Automata
Fish Species
Real Time Systems
Termination Analysis
Top Venues
DSN-W
COORDINATION
ICIAR
</>
Publications
</>