Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.

Taolue Chen Jian Lu Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. 134-138 2008 FSKD (5) http://dx.doi.org/10.1109/FSKD.2008.410 conf/fskd/2008-5 db/conf/fskd/fskd2008-5.html#ChenL08b