Godskesen, Jens Chr.
-
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. 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. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Articles
Timed Modal Specification —Theory and Tools
Abstract PDF