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