Bounded Synthesis of Register Transducers

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

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

Dieses zitieren