Fingeraftryk
Dyk ned i forskningsemnerne om 'Verification of Liveness Properties on Closed Timed-Arc Petri Nets'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Verification of Liveness Properties on Closed Timed-Arc Petri Nets
Mathias Andersen, Heine G. Larsen, Jiri Srba, Mathias Sørensen, Jakob Haahr Taankvist
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
15
Citationer
(Scopus)