Login / Signup
Frederik Bønneland
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Transition Systems
Automated Verification
Petri Net
Alternating Time Temporal Logic
Top Venues
Petri Nets
</>
Publications
</>
Frederik Bønneland
,
Jakob Dyhr
,
Peter Gjøl Jensen
,
Mads Johannsen
,
Jirí Srba
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.
Petri Nets
(2018)