Login / Signup
Hannes Kallwies
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 11
Top Topics
Timed Petri Nets
Model Checking
Mazurkiewicz Traces
Makes Sense
Top Venues
RV
PNSE@Petri Nets
CoRR
CAV (2)
</>
Publications
</>