Burgueno, Augusto
-
BRICS Report Series No. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata - Articles
Model Checking via Reachability Testing for Timed Automata
Abstract PDF -
BRICS Report Series No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Articles
The Power of Reachability Testing for Timed Automata
Abstract PDF