Login / Signup
Elvio Gilberto Amparore
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 24
Top Topics
Decision Diagrams
Petri Net
Concurrent Systems
Model Checking
Top Venues
QEST
Petri Nets
PNSE @ Petri Nets
Trans. Petri Nets Other Model. Concurr.
</>
Publications
</>