Heine Larsen
Heine Larsen
Computer Science student at Aalborg University
Verified email at student.aau.dk - Homepage
Cited by
Cited by
Verification of liveness properties on closed timed-arc Petri nets
M Andersen, HG Larsen, J Srba, MG Sørensen, JH Taankvist
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
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
The system can't perform the operation now. Try again later.
Articles 1–3