دورية أكاديمية
Updatable timed automata with one updatable clock
العنوان: | Updatable timed automata with one updatable clock |
---|---|
المؤلفون: | Li, Guoqiang, Wen, Yunqing, Yuen, Shoji |
المصدر: | Science China Information Sciences. June 2017 61(1):1-14 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 1674733X 18691919 |
---|---|
DOI: | 10.1007/s11432-016-9027-y |