@inproceedings{Lustig:2009:SCL:1532848.1532885,
    Address = {Berlin, Heidelberg},
    Author = {Lustig, Yoad and Vardi, Moshe Y.},
    BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009},
    File = {Synthesis from Component Libraries - Lustig, Vardi (0) (0) - a - a - n.pdf},
    ISBN = {978-3-642-00595-4},
    Location = {York, UK},
    Pages = {395--409},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS '09},
    Title = {Synthesis from Component Libraries},
    URL = {http://dx.doi.org/10.1007/978-3-642-00596-1\_28},
    Year = {2009},
    acmid = {1532885},
    bdsk-url-1 = {http://vimeo.com/6116003},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_28},
    date-added = {2014-03-14 07:21:44 +0000},
    date-modified = {2014-03-14 07:21:44 +0000},
    file-2 = {Synthesis from Component Libraries - Lustig, Vardi (1) (0) - a - a - n.pdf},
    file-3 = {Synthesis from Component Libraries - Lustig, Vardi (2) (0) - a - a - n.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-00596-1_28}
}

@inproceedings{Lustig:2009:SCL:1532848.1532885, Address = {Berlin, Heidelberg}, Author = {Lustig, Yoad and Vardi, Moshe Y.}, BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009}, File = {Synthesis from Component Libraries - Lustig, Vardi (0) (0) - a - a - n.pdf}, ISBN = {978-3-642-00595-4}, Location = {York, UK}, Pages = {395--409}, Publisher = {Springer-Verlag}, Series = {FOSSACS '09}, Title = {Synthesis from Component Libraries}, URL = {http://dx.doi.org/10.1007/978-3-642-00596-1_28}, Year = {2009}, acmid = {1532885}, bdsk-url-1 = {http://vimeo.com/6116003}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1_28}, date-added = {2014-03-14 07:21:44 +0000}, date-modified = {2014-03-14 07:21:44 +0000}, file-2 = {Synthesis from Component Libraries - Lustig, Vardi (1) (0) - a - a - n.pdf}, file-3 = {Synthesis from Component Libraries - Lustig, Vardi (2) (0) - a - a - n.pdf}, numpages = {15}, doi = {10.1007/978-3-642-00596-1_28} }