David, Alexandre
-
BRICS Report Series Nr. 11 (2001): RS-11 From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata - Artikler
From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata
Resumé