TY  - RPRT
TI  - Register automata with linear arithmetic
AU  - Yu-Fang Chen
AU  - Ondrej Lengal
AU  - Tony Tan
AU  - Zhilin Wu
PY  - 2017
UR  - https://arxiv.org/abs/1704.03972
ID  - 1704.03972
ER  -