Bounded Synthesis of Register Transducers

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryUnited States
CityLos Angeles
Period7/10/1810/10/18

Cite this