Reductions for Synthesis Procedures

Swen Jacobs, Viktor Kuncak, Philippe Suter

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

Originalspracheenglisch
TitelVerification, Model Checking, and Abstract Interpretation
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten88-107
Band7737
ISBN (Print)978-3-642-35872-2
DOIs
PublikationsstatusVeröffentlicht - 2013
VeranstaltungInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italien
Dauer: 20 Jan 201322 Jan 2013

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Verification, Model Checking, and Abstract Interpretation
LandItalien
OrtRome
Zeitraum20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dies zitieren

Jacobs, S., Kuncak, V., & Suter, P. (2013). Reductions for Synthesis Procedures. in Verification, Model Checking, and Abstract Interpretation (Band 7737, S. 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. Band 7737 Berlin [u.a.] : Springer, 2013. S. 88-107 (Lecture Notes in Computer Science).

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

Jacobs, S, Kuncak, V & Suter, P 2013, Reductions for Synthesis Procedures. in Verification, Model Checking, and Abstract Interpretation. Bd. 7737, Lecture Notes in Computer Science, Springer, Berlin [u.a.], S. 88-107, Rome, Italien, 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. Band 7737. Berlin [u.a.]: Springer. 2013. S. 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. Band 7737 Berlin [u.a.] : Springer, 2013. S. 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 -