Larsson, Fredrik

• BRICS Report Series No. 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems - Articles
  On Memory-Block Traversal Problems in Model Checking Timed Systems
  Abstract  PDF
• BRICS Report Series No. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Articles
  UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
  Abstract  PDF
• BRICS Report Series No. 60 (1996): RS-60 UPPAAL in 1995 - Articles
  UPPAAL in 1995
  Abstract  PDF