Weise, Carsten
-
BRICS Report Series Nr. 46 (1998): RS-46 Clock Difference Diagrams - Artikler
Clock Difference Diagrams
Resumé PDF (English) -
BRICS Report Series Nr. 2 (1995): RS-02 From Timed Automata to Logic and Back - Artikler
From Timed Automata to Logic - and Back
Resumé PDF (English) -
BRICS Report Series Nr. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Artikler
Efficient Timed Reachability Analysis using Clock Difference Diagrams
Resumé PDF (English)