Reductions for Synthesis Procedures

Swen Jacobs, Viktor Kuncak, Philippe Suter

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

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages88-107
Volume7737
ISBN (Print)978-3-642-35872-2
DOIs
Publication statusPublished - 2013
EventInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italy
Duration: 20 Jan 201322 Jan 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Verification, Model Checking, and Abstract Interpretation
CountryItaly
CityRome
Period20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Jacobs, S., Kuncak, V., & Suter, P. (2013). Reductions for Synthesis Procedures. In Verification, Model Checking, and Abstract Interpretation (Vol. 7737, pp. 88-107). (Lecture Notes in Computer Science). Berlin [u.a.]: Springer. https://doi.org/10.1007/978-3-642-35873-9_8

Reductions for Synthesis Procedures. / Jacobs, Swen; Kuncak, Viktor; Suter, Philippe.

Verification, Model Checking, and Abstract Interpretation. Vol. 7737 Berlin [u.a.] : Springer, 2013. p. 88-107 (Lecture Notes in Computer Science).

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

Jacobs, S, Kuncak, V & Suter, P 2013, Reductions for Synthesis Procedures. in Verification, Model Checking, and Abstract Interpretation. vol. 7737, Lecture Notes in Computer Science, Springer, Berlin [u.a.], pp. 88-107, International Conference on Verification, Model Checking, and Abstract Interpretation, Rome, Italy, 20/01/13. https://doi.org/10.1007/978-3-642-35873-9_8
Jacobs S, Kuncak V, Suter P. Reductions for Synthesis Procedures. In Verification, Model Checking, and Abstract Interpretation. Vol. 7737. Berlin [u.a.]: Springer. 2013. p. 88-107. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-35873-9_8
Jacobs, Swen ; Kuncak, Viktor ; Suter, Philippe. / Reductions for Synthesis Procedures. Verification, Model Checking, and Abstract Interpretation. Vol. 7737 Berlin [u.a.] : Springer, 2013. pp. 88-107 (Lecture Notes in Computer Science).
@inproceedings{add9c3a0fcee480699857d25fdb4c26f,
title = "Reductions for Synthesis Procedures",
author = "Swen Jacobs and Viktor Kuncak and Philippe Suter",
year = "2013",
doi = "10.1007/978-3-642-35873-9_8",
language = "English",
isbn = "978-3-642-35872-2",
volume = "7737",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "88--107",
booktitle = "Verification, Model Checking, and Abstract Interpretation",

}

TY - GEN

T1 - Reductions for Synthesis Procedures

AU - Jacobs, Swen

AU - Kuncak, Viktor

AU - Suter, Philippe

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-35873-9_8

DO - 10.1007/978-3-642-35873-9_8

M3 - Conference contribution

SN - 978-3-642-35872-2

VL - 7737

T3 - Lecture Notes in Computer Science

SP - 88

EP - 107

BT - Verification, Model Checking, and Abstract Interpretation

PB - Springer

CY - Berlin [u.a.]

ER -