Bounded Synthesis of Register Transducers

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelAutomated Technology for Verification and Analysis
Untertitel16th International Symposium, ATVA 2018
Redakteure/-innenShuvendu Lahiri, Chao Wang
Seiten494-510
Seitenumfang17
ISBN (elektronisch)978-3-030-01090-4
DOIs
PublikationsstatusVeröffentlicht - 2018
Veranstaltung16th International Symposium on Automated Technology for Verification and Analysis - Los Angeles, USA / Vereinigte Staaten
Dauer: 7 Okt 201810 Okt 2018

Publikationsreihe

Name Lecture Notes in Computer Science
Band11138

Konferenz

Konferenz16th International Symposium on Automated Technology for Verification and Analysis
KurztitelATVA 2018
LandUSA / Vereinigte Staaten
OrtLos Angeles
Zeitraum7/10/1810/10/18

Dies zitieren

Khalimov, A., Maderbacher, B., & Bloem, R. (2018). Bounded Synthesis of Register Transducers. in S. Lahiri, & C. Wang (Hrsg.), Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018 (S. 494-510). ( Lecture Notes in Computer Science; Band 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. Hrsg. / Shuvendu Lahiri; Chao Wang. 2018. S. 494-510 ( Lecture Notes in Computer Science; Band 11138).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Khalimov, A, Maderbacher, B & Bloem, R 2018, Bounded Synthesis of Register Transducers. in S Lahiri & C Wang (Hrsg.), Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lecture Notes in Computer Science, Bd. 11138, S. 494-510, 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, USA / Vereinigte Staaten, 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, Hrsg., Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. 2018. S. 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. Hrsg. / Shuvendu Lahiri ; Chao Wang. 2018. S. 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 -