Login / Signup
Paolo Camurati
ORCID
Publication Activity (10 Years)
Years Active: 1986-2020
Publications (10 Years): 13
Top Topics
Logic Synthesis
Model Checking
Timed Automata
Embedded Systems
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
C2SI
CoRR
IEEE Des. Test
</>
Publications
</>