Timed Patterns: TCOZ to Timed Automata.

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi

Browse the full ICFEM paper archive.