Bounded Synthesis of Register Transducers

Ayrat Khalimov; Benedikt Maderbacher; Roderick Bloem

doi:10.1007/978-3-030-01090-4_29

Bounded Synthesis of Register Transducers

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Automated Technology for Verification and Analysis
Untertitel	16th International Symposium, ATVA 2018
Redakteure/-innen	Shuvendu Lahiri, Chao Wang
Seiten	494-510
Seitenumfang	17
ISBN (elektronisch)	978-3-030-01090-4
DOIs	https://doi.org/10.1007/978-3-030-01090-4_29
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	16th International Symposium on Automated Technology for Verification and Analysis - Los Angeles, USA / Vereinigte Staaten Dauer: 7 Okt. 2018 → 10 Okt. 2018

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	11138

Konferenz

Konferenz	16th International Symposium on Automated Technology for Verification and Analysis
Kurztitel	ATVA 2018
Land/Gebiet	USA / Vereinigte Staaten
Ort	Los Angeles
Zeitraum	7/10/18 → 10/10/18

Zugriff auf Dokument

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

https://doi.org/10.1007/978-3-030-01090-429

Dieses zitieren

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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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, California, USA / Vereinigte Staaten, 7/10/18. https://doi.org/10.1007/978-3-030-01090-4_29

@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",

}

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 paper

T3 - Lecture Notes in Computer Science

SP - 494

EP - 510

BT - Automated Technology for Verification and Analysis

A2 - Lahiri, Shuvendu

A2 - Wang, Chao

T2 - 16th International Symposium on Automated Technology for Verification and Analysis

Y2 - 7 October 2018 through 10 October 2018

ER -