Godskesen, Jens Chr.
-
BRICS Report Series Nr. 48 (1994): RS-48 Synthesizing Distinguishing Formulae for Real Time Systems - Artikler
Synthesizing Distinguishing Formulae for Real Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON - Artikler
Automatic Verification of Real-Timed Systems Using EPSILON
Resumé PDF (English) -
BRICS Report Series Nr. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Artikler
Timed Modal Specification —Theory and Tools
Resumé PDF (English)