list | abstracts | bib ]

On Complete Functional Synthesis

paper pdf    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},
  localurl = {http://lara.epfl.ch/~kuncak/papers/SuterETAL09CompleteFunctionalSynthesis.pdf}
}

list | abstracts | bib ]