Nested Timed Automata with Diagonal Constraints.

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen

Browse the full ICFEM paper archive.