Fingerprint
Dive into the research topics of 'Verification of Liveness Properties on Closed Timed-Arc Petri Nets'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verification of Liveness Properties on Closed Timed-Arc Petri Nets
Mathias Andersen, Heine G. Larsen, Jiri Srba, Mathias Sørensen, Jakob Haahr Taankvist
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
15
Citations
(Scopus)