@Inproceedings{EPTCS140.2, author = {Chen, Yu-Fang and Wang, Bow-Yaw and Yen, Di-De}, year = {2014}, title = {A Finite Exact Representation of Register Automata Configurations}, editor = {Holik, Lukas and Clemente, Lorenzo}, booktitle = {{\rm Proceedings 15th International Workshop on} Verification of Infinite-State Systems, {\rm Hanoi, Vietnam, 14th October 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {140}, publisher = {Open Publishing Association}, pages = {16-34}, doi = {10.4204/EPTCS.140.2}, }