Login / Signup
Gian Luigi Ferrari
ORCID
Publication Activity (10 Years)
Years Active: 1990-2022
Publications (10 Years): 30
Top Topics
Controller Synthesis
Formal Ontologies
Model Checking
Distributed Systems
Top Venues
PaCT
J. Supercomput.
J. Log. Algebraic Methods Program.
CoRR
</>
Publications
</>