Bounded Synthesis of Register Transducers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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