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)

Dieses 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