How to Handle Assumptions in Synthesis

Roderick Paul Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings 3rd Workshop on Synthesis
PublisherElectronic Proceedings in Theoretical Computer Science
Pages34-50
Volume157
DOIs
Publication statusPublished - 2014
EventWorkshop on Synthesis (SYNT 2014) - Vienna, Austria
Duration: 23 Jul 201424 Jul 2014

Publication series

NameEPTCS
PublisherElectronic Proceedings in Theoretical Computer Science

Conference

ConferenceWorkshop on Synthesis (SYNT 2014)
CountryAustria
CityVienna
Period23/07/1424/07/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this