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]

Abstract

Abstract is missing.