Burgueno, Augusto
-
BRICS Report Series Nr. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata - Artikler
Model Checking via Reachability Testing for Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Artikler
The Power of Reachability Testing for Timed Automata
Resumé PDF (English)