Login / Signup
Fabian Edenfeld
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Epistemic Logic
Automated Verification
Reactive Systems
Petri Net
Top Venues
VALUETOOLS
</>
Publications
</>
Carina Pilch
,
Fabian Edenfeld
,
Anne Remke
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.
VALUETOOLS
(2017)