Kristensen, Lars Michael

• DAIMI Report Series No. 543 (2000): PB-543 Improved Question-Guided Stubborn Set Methods for State Properties - Articles
  Improved Question-Guided Stubborn Set Methods for State Properties
  Abstract  PDF
• DAIMI Report Series No. 546 (2000): PB-546 State Space Methods for Coloured Petri Nets - Articles
  State Space Methods for Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 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
  Abstract  PDF
• DAIMI Report Series No. 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
  Abstract  PDF
• DAIMI Report Series No. 515 (1997): PB-515 Verification by State Spaces with Equivalence Classes - Articles
  Verification by State Spaces with Equivalence Classes
  Abstract  PDF
• DAIMI Report Series No. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
  Design/CPN - A Computer Tool for Coloured Petri Nets
  Abstract  PDF