TY  - RPRT
TI  - A Finite Exact Representation of Register Automata Configurations
AU  - Yu-Fang Chen
AU  - Bow-Yaw Wang
AU  - Di-De Yen
PY  - 2014
DO  - 10.4204/eptcs.140.2
UR  - https://arxiv.org/abs/1402.6783
ID  - 1402.6783
ER  -