%0 Conference Paper %1 journals/corr/abs-1106-1228 %A Lustig, Yoad %A Vardi, Moshe Y. %B GandALF %D 2011 %E D'Agostino, Giovanna %E Torre, Salvatore La %K dblp %P 1-16 %T Synthesis from Recursive-Components Libraries %U http://dblp.uni-trier.de/db/series/eptcs/eptcs54.html#abs-1106-1228 %V 54

@inproceedings{journals/corr/abs-1106-1228, added-at = {2018-09-12T00:00:00.000+0200}, author = {Lustig, Yoad and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/24e472ae3e15bede8201318f8ee5a062f/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-1106-0814}, editor = {D'Agostino, Giovanna and Torre, Salvatore La}, ee = {http://arxiv.org/abs/1106.1228}, interhash = {9b95d05818a2f81bc464ffccdc871ca3}, intrahash = {4e472ae3e15bede8201318f8ee5a062f}, keywords = {dblp}, pages = {1-16}, series = {EPTCS}, timestamp = {2018-09-13T11:39:53.000+0200}, title = {Synthesis from Recursive-Components Libraries}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs54.html#abs-1106-1228}, volume = 54, year = 2011 }