Author Details | BRICS Report Series

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