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