Laroussinie, Francois
-
BRICS Report Series Nr. 19 (1995): RS-19 Compositional Model Checking of Real Time Systems - Artikler
Compositional Model Checking of Real Time Systems
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. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Artikler
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Resumé PDF (English) -
BRICS Report Series Nr. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics - Artikler
Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
Resumé PDF (English)