TY  - RPRT
TI  - Bounded Synthesis of Register Transducers
AU  - Ayrat Khalimov
AU  - Benedikt Maderbacher
AU  - Roderick Bloem
PY  - 2018
UR  - https://arxiv.org/abs/1809.05017
ID  - 1809.05017
ER  -