Login / Signup
Luigia Petre
ORCID
Publication Activity (10 Years)
Years Active: 1999-2021
Publications (10 Years): 8
Top Topics
Formal Analysis
Resource Availability
Routing Protocol
Interactive Systems
Top Venues
ICECCS
Int. J. Crit. Comput. Based Syst.
Formal Aspects Comput.
HPCS
</>
Publications
</>