Chen, Yu-FangYu-FangChenLeng?l, OndrejOndrejLeng?lTan, TonyTonyTanWu, ZhilinZhilinWuTONY TAN2020-05-042020-05-042017https://scholars.lib.ntu.edu.tw/handle/123456789/490113[SDGs]SDG16Register automata with linear arithmetic.conference paper10.1109/LICS.2017.8005111https://doi.org/10.1109/LICS.2017.8005111