Godskesen, Jens Chr.

• BRICS Report Series No. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON - Articles
  Automatic Verification of Real-Timed Systems Using EPSILON
  Abstract  PDF
• BRICS Report Series No. 48 (1994): RS-48 Synthesizing Distinguishing Formulae for Real Time Systems - Articles
  Synthesizing Distinguishing Formulae for Real Time Systems
  Abstract  PDF
• BRICS Report Series No. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Articles
  Timed Modal Specification —Theory and Tools
  Abstract  PDF