@inproceedings{8f6b7a7c5f824a1aaca44b014eb0728e,
title = "Bounded Synthesis of Register Transducers",
author = "Ayrat Khalimov and Benedikt Maderbacher and Roderick Bloem",
year = "2018",
doi = "10.1007/978-3-030-01090-4_29",
language = "English",
series = " Lecture Notes in Computer Science",
pages = "494--510",
editor = "Shuvendu Lahiri and Chao Wang",
booktitle = "Automated Technology for Verification and Analysis",
note = "16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018 ; Conference date: 07-10-2018 Through 10-10-2018",
}