Weise, Carsten

• BRICS Report Series No. 46 (1998): RS-46 Clock Difference Diagrams - Articles
  Clock Difference Diagrams
  Abstract  PDF
• BRICS Report Series No. 2 (1995): RS-02 From Timed Automata to Logic and Back - Articles
  From Timed Automata to Logic - and Back
  Abstract  PDF
• BRICS Report Series No. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Articles
  Efficient Timed Reachability Analysis using Clock Difference Diagrams
  Abstract  PDF