Updatable timed automata with one updatable clock
Crossref DOI link: https://doi.org/10.1007/s11432-016-9027-y
Published Online: 2017-09-01
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Li, Guoqiang
Wen, Yunqing
Yuen, Shoji
Text and Data Mining valid from 2017-06-01
Article History
Received: 7 November 2016
Revised: 15 December 2016
Accepted: 9 February 2017
First Online: 1 September 2017