Updatable timed automata with one updatable clock

Guoqiang Li 0001, Yunqing Wen, Shoji Yuen. Updatable timed automata with one updatable clock. Science in China Series F: Information Sciences, 61(1), 2018. [doi]

Authors

Guoqiang Li 0001

This author has not been identified. Look up 'Guoqiang Li 0001' in Google

Yunqing Wen

This author has not been identified. Look up 'Yunqing Wen' in Google

Shoji Yuen

This author has not been identified. Look up 'Shoji Yuen' in Google