How to Handle Assumptions in Synthesis

Roderick Paul Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

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

Originalspracheenglisch
TitelProceedings 3rd Workshop on Synthesis
Herausgeber (Verlag)Electronic Proceedings in Theoretical Computer Science
Seiten34-50
Band157
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungWorkshop on Synthesis (SYNT 2014) - Vienna, Österreich
Dauer: 23 Jul 201424 Jul 2014

Publikationsreihe

NameEPTCS
Herausgeber (Verlag)Electronic Proceedings in Theoretical Computer Science

Konferenz

KonferenzWorkshop on Synthesis (SYNT 2014)
LandÖsterreich
OrtVienna
Zeitraum23/07/1424/07/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren