Reductions for Synthesis Procedures

Swen Jacobs; Viktor Kuncak; Philippe Suter

doi:10.1007/978-3-642-35873-9_8

Reductions for Synthesis Procedures

Swen Jacobs, Viktor Kuncak, Philippe Suter

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Verification, Model Checking, and Abstract Interpretation
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	88-107
Volume	7737
ISBN (Print)	978-3-642-35872-2
DOIs	https://doi.org/10.1007/978-3-642-35873-9_8
Publication status	Published - 2013
Event	International Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italy Duration: 20 Jan 2013 → 22 Jan 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	International Conference on Verification, Model Checking, and Abstract Interpretation
Country/Territory	Italy
City	Rome
Period	20/01/13 → 22/01/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Access to Document

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

main.pdfFinal published version, 391 KB

Cite this

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

@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",

note = "International Conference on Verification, Model Checking, and Abstract Interpretation ; Conference date: 20-01-2013 Through 22-01-2013",

}

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 paper

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.]

T2 - International Conference on Verification, Model Checking, and Abstract Interpretation

Y2 - 20 January 2013 through 22 January 2013

ER -