Bouyer, Patricia
-
BRICS Report Series Nr. 35 (2002): RS-35 Timed Automata May Cause Some Troubles - Artikler
Timed Automata May Cause Some Troubles
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Artikler
Optimal Strategies in Priced Timed Game 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)