On Complete Functional Synthesis

paper ps   

Citation

Philippe Suter, Ruzica Piskac, Mikael Mayer, and Viktor Kuncak. On complete functional synthesis. Technical Report LARA-REPORT-2009-006, EPFL, 2009.

BibTex Entry

@techreport{SuterETAL09CompleteFunctionalSynthesis,
  author = {Philippe Suter and Ruzica Piskac and Mikael Mayer and Viktor Kuncak},
  title = {On Complete Functional Synthesis},
  institution = {EPFL},
  year = 2009,
  number = {LARA-REPORT-2009-006}
}