Login / Signup
Heine Gatten Larsen
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Ims Ld
Discrete Dynamical Systems
Petri Net
High Level Petri Nets
Top Venues
MEMICS
</>
Publications
</>
Mathias Andersen
,
Heine Gatten Larsen
,
Jirí Srba
,
Mathias Grund Sørensen
,
Jakob Haahr Taankvist
Verification of Liveness Properties on Closed Timed-Arc Petri Nets.
MEMICS
(2012)