TY - RPRT TI - Synchronizing Data Words for Register Automata AU - Karin Quaas AU - Mahsa Shirmohammadi PY - 2019 UR - https://arxiv.org/abs/1710.02329 ID - 1710.02329 ER -