%0 Journal Article %1 journals/dagstuhl-reports/RehofV14 %A Rehof, Jakob %A Vardi, Moshe Y. %D 2014 %J Dagstuhl Reports %K dblp %N 6 %P 29-47 %T Design and Synthesis from Components (Dagstuhl Seminar 14232). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#RehofV14 %V 4

@article{journals/dagstuhl-reports/RehofV14, added-at = {2014-10-24T00:00:00.000+0200}, author = {Rehof, Jakob and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2e129832d035b3123d81ba1a1a1cdabf8/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.4.6.29}, interhash = {1ed5da5152f27717c58d538caeeffb96}, intrahash = {e129832d035b3123d81ba1a1a1cdabf8}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 6, pages = {29-47}, timestamp = {2015-06-18T00:53:36.000+0200}, title = {Design and Synthesis from Components (Dagstuhl Seminar 14232).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports4.html#RehofV14}, volume = 4, year = 2014 }