How to Handle Assumptions in Synthesis

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings 3rd Workshop on Synthesis
PublisherElectronic Proceedings in Theoretical Computer Science
Pages34-50
Volume157
DOIs
Publication statusPublished - 2014
EventWorkshop on Synthesis (SYNT 2014) - Vienna, Austria
Duration: 23 Jul 201424 Jul 2014

Publication series

NameEPTCS
PublisherElectronic Proceedings in Theoretical Computer Science

Conference

ConferenceWorkshop on Synthesis (SYNT 2014)
CountryAustria
CityVienna
Period23/07/1424/07/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Ehlers, R., Jacobs, S., & Könighofer, R. (2014). How to Handle Assumptions in Synthesis. In Proceedings 3rd Workshop on Synthesis (Vol. 157, pp. 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. Vol. 157 Electronic Proceedings in Theoretical Computer Science, 2014. p. 34-50 (EPTCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Ehlers, R, Jacobs, S & Könighofer, R 2014, How to Handle Assumptions in Synthesis. in Proceedings 3rd Workshop on Synthesis. vol. 157, EPTCS, Electronic Proceedings in Theoretical Computer Science, pp. 34-50, Workshop on Synthesis (SYNT 2014), Vienna, Austria, 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. Vol. 157. Electronic Proceedings in Theoretical Computer Science. 2014. p. 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. Vol. 157 Electronic Proceedings in Theoretical Computer Science, 2014. pp. 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 -