Seuraa
Heine Larsen
Heine Larsen
Computer Science student at Aalborg University
Vahvistettu sähköpostiosoite verkkotunnuksessa student.aau.dk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Verification of liveness properties on closed timed-arc Petri nets
M Andersen, H Gatten Larsen, J Srba, M Grund Sørensen, ...
Mathematical and Engineering Methods in Computer Science: 8th International …, 2013
192013
FauToPilot Theme: Pre-specialisation in Computer Sci-ence
HG Larsen, MT Pedersen, TB Mogensen, RR Hansen, MC Olesen
Discrete Verification of Weighted Timed-Arc Petri Nets
JH Taankvist, MG Sørensen, HG Larsen, M Andersen
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3