Bounded Synthesis of Register Transducers

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis
Subtitle of host publication16th International Symposium, ATVA 2018
EditorsShuvendu Lahiri, Chao Wang
Pages494-510
Number of pages17
ISBN (Electronic)978-3-030-01090-4
DOIs
Publication statusPublished - 2018
Event16th International Symposium on Automated Technology for Verification and Analysis - Los Angeles, United States
Duration: 7 Oct 201810 Oct 2018

Publication series

Name Lecture Notes in Computer Science
Volume11138

Conference

Conference16th International Symposium on Automated Technology for Verification and Analysis
Abbreviated titleATVA 2018
CountryUnited States
CityLos Angeles
Period7/10/1810/10/18

Cite this

Khalimov, A., Maderbacher, B., & Bloem, R. (2018). Bounded Synthesis of Register Transducers. In S. Lahiri, & C. Wang (Eds.), Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018 (pp. 494-510). ( Lecture Notes in Computer Science; Vol. 11138). https://doi.org/10.1007/978-3-030-01090-4_29

Bounded Synthesis of Register Transducers. / Khalimov, Ayrat; Maderbacher, Benedikt; Bloem, Roderick.

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. ed. / Shuvendu Lahiri; Chao Wang. 2018. p. 494-510 ( Lecture Notes in Computer Science; Vol. 11138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Khalimov, A, Maderbacher, B & Bloem, R 2018, Bounded Synthesis of Register Transducers. in S Lahiri & C Wang (eds), Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lecture Notes in Computer Science, vol. 11138, pp. 494-510, 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, United States, 7/10/18. https://doi.org/10.1007/978-3-030-01090-4_29
Khalimov A, Maderbacher B, Bloem R. Bounded Synthesis of Register Transducers. In Lahiri S, Wang C, editors, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. 2018. p. 494-510. ( Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-01090-4_29
Khalimov, Ayrat ; Maderbacher, Benedikt ; Bloem, Roderick. / Bounded Synthesis of Register Transducers. Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. editor / Shuvendu Lahiri ; Chao Wang. 2018. pp. 494-510 ( Lecture Notes in Computer Science).
@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",

}

TY - GEN

T1 - Bounded Synthesis of Register Transducers

AU - Khalimov, Ayrat

AU - Maderbacher, Benedikt

AU - Bloem, Roderick

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-030-01090-4_29

DO - 10.1007/978-3-030-01090-4_29

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 494

EP - 510

BT - Automated Technology for Verification and Analysis

A2 - Lahiri, Shuvendu

A2 - Wang, Chao

ER -