Sunesen, Kim

• BRICS Report Series No. 6 (1998): RS-06 Further Results on Partial Order Equivalences on Infinite Systems - Articles
  Further Results on Partial Order Equivalences on Infinite Systems
  Abstract  PDF
• BRICS Report Series No. 55 (1995): RS-55 Behavioural Equivalence for Infinite Systems—Partially Decidable! - Articles
  Behavioural Equivalence for Infinite Systems—Partially Decidable!
  Abstract  PDF
• BRICS Report Series No. 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions - Articles
  Automated Logical Verification based on Trace Abstractions
  Abstract  PDF
• BRICS Report Series No. 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions - Articles
  A Case Study in Automated Verification Based on Trace Abstractions
  Abstract  PDF