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 KonferenzbandForschungBegutachtung

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

Dies zitieren

Bloem, R. P., Ehlers, R., Jacobs, S., & Könighofer, R. (2014). How to Handle Assumptions in Synthesis. in Proceedings 3rd Workshop on Synthesis (Band 157, S. 34-50). (EPTCS). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.157.7

How to Handle Assumptions in Synthesis. / Bloem, Roderick Paul; Ehlers, Rüdiger; Jacobs, Swen; Könighofer, Robert.

Proceedings 3rd Workshop on Synthesis. Band 157 Electronic Proceedings in Theoretical Computer Science, 2014. S. 34-50 (EPTCS).

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

Bloem, RP, Ehlers, R, Jacobs, S & Könighofer, R 2014, How to Handle Assumptions in Synthesis. in Proceedings 3rd Workshop on Synthesis. Bd. 157, EPTCS, Electronic Proceedings in Theoretical Computer Science, S. 34-50, Vienna, Österreich, 23/07/14. https://doi.org/10.4204/EPTCS.157.7
Bloem RP, Ehlers R, Jacobs S, Könighofer R. How to Handle Assumptions in Synthesis. in Proceedings 3rd Workshop on Synthesis. Band 157. Electronic Proceedings in Theoretical Computer Science. 2014. S. 34-50. (EPTCS). https://doi.org/10.4204/EPTCS.157.7
Bloem, Roderick Paul ; Ehlers, Rüdiger ; Jacobs, Swen ; Könighofer, Robert. / How to Handle Assumptions in Synthesis. Proceedings 3rd Workshop on Synthesis. Band 157 Electronic Proceedings in Theoretical Computer Science, 2014. S. 34-50 (EPTCS).
@inproceedings{a48edb2781c8473691cdbb3e089762eb,
title = "How to Handle Assumptions in Synthesis",
author = "Bloem, {Roderick Paul} and R{\"u}diger Ehlers and Swen Jacobs and Robert K{\"o}nighofer",
year = "2014",
doi = "10.4204/EPTCS.157.7",
language = "English",
volume = "157",
series = "EPTCS",
publisher = "Electronic Proceedings in Theoretical Computer Science",
pages = "34--50",
booktitle = "Proceedings 3rd Workshop on Synthesis",

}

TY - GEN

T1 - How to Handle Assumptions in Synthesis

AU - Bloem, Roderick Paul

AU - Ehlers, Rüdiger

AU - Jacobs, Swen

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

UR - http://www.easychair.org/smart-program/VSL2014/SYNT-program.html

UR - http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?SYNT2014.7

U2 - 10.4204/EPTCS.157.7

DO - 10.4204/EPTCS.157.7

M3 - Conference contribution

VL - 157

T3 - EPTCS

SP - 34

EP - 50

BT - Proceedings 3rd Workshop on Synthesis

PB - Electronic Proceedings in Theoretical Computer Science

ER -