Login / Signup
Sine Viesmose Birch
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Automated Verification
Petri Net
Model Checking
Concurrent Processes
Top Venues
FORMATS
</>
Publications
</>
Sine Viesmose Birch
,
Thomas Stig Jacobsen
,
Jacob Jon Jensen
,
Christoffer Moesgaard
,
Niels Nørgaard Samuelsen
,
Jirí Srba
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.
FORMATS
(2014)