Login / Signup
Carlo Ghezzi
ORCID
Publication Activity (10 Years)
Years Active: 1975-2023
Publications (10 Years): 45
Top Topics
Physical Space
Product Line
Metric Temporal Logic
Spatially Distributed
Top Venues
CoRR
RE
J. Syst. Softw.
Sci. Comput. Program.
</>
Publications
</>