Kristensen, Lars Michael
-
DAIMI Report Series Nr. 543 (2000): PB-543 Improved Question-Guided Stubborn Set Methods for State Properties - Articles
Improved Question-Guided Stubborn Set Methods for State Properties
Resumé PDF (English) -
DAIMI Report Series Nr. 546 (2000): PB-546 State Space Methods for Coloured Petri Nets - Articles
State Space Methods for Coloured Petri Nets
Resumé PDF (English) -
DAIMI Report Series Nr. 573 (2004): PB-573 On the Application of Zone Flooding in a Traffic Warning System - Articles
On the Application of Zone Flooding in a Traffic Warning System
Resumé PDF (English) -
DAIMI Report Series Nr. 512 (1997): PB-512 Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and... - Articles
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries
Resumé PDF (English) -
DAIMI Report Series Nr. 515 (1997): PB-515 Verification by State Spaces with Equivalence Classes - Articles
Verification by State Spaces with Equivalence Classes
Resumé PDF (English) -
DAIMI Report Series Nr. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
Design/CPN - A Computer Tool for Coloured Petri Nets
Resumé PDF (English)