abs-1207-0554'

@proceedings{DBLP:journals/corr/abs-1207-0554,
  editor    = {Doron Peled and
               Sven Schewe},
  title     = {Proceedings First Workshop on Synthesis},
  booktitle = {SYNT},
  series    = {EPTCS},
  volume    = {84},
  year      = {2012},
  ee        = {http://dx.doi.org/10.4204/EPTCS.84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}