@inproceedings{ dblp2264054,
  title = {Modular Synthesis of Sketches Using Models},
  author = {Rohit Singh 0002 and Rishabh Singh and Zhilei Xu and Rebecca Krosnick and Armando Solar-Lezama},
  author_short = {Singh 0002, R. and Singh, R. and Xu, Z. and Krosnick, R. and Solar-Lezama, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2264054},
  id = {dblp2264054},
  biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/SinghSXKS14},
  url = {http://dx.doi.org/10.1007/978-3-642-54013-4_22},
  conference = {VMCAI},
  pages = {395-414},
  text = {VMCAI 2014:395-414},
  booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}
}

{"_id":"BTodCEgEM4P5QfPG9","bibbaseid":"singh0002-singh-xu-krosnick-solarlezama-modularsynthesisofsketchesusingmodels-2014","downloads":0,"creationDate":"2015-05-13T06:23:45.258Z","title":"Modular Synthesis of Sketches Using Models","author_short":["Singh 0002, R.","Singh, R.","Xu, Z.","Krosnick, R.","Solar-Lezama, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/SinghSXKS14","bibdata":{"title":"Modular Synthesis of Sketches Using Models","author":["Rohit Singh 0002","Rishabh Singh","Zhilei Xu","Rebecca Krosnick","Armando Solar-Lezama"],"author_short":["Singh 0002, R.","Singh, R.","Xu, Z.","Krosnick, R.","Solar-Lezama, A."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp2264054","id":"dblp2264054","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/SinghSXKS14","url":"http://dx.doi.org/10.1007/978-3-642-54013-4_22","conference":"VMCAI","pages":"395-414","text":"VMCAI 2014:395-414","booktitle":"Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)","bibtex":"@inproceedings{ dblp2264054,\n title = {Modular Synthesis of Sketches Using Models},\n author = {Rohit Singh 0002 and Rishabh Singh and Zhilei Xu and Rebecca Krosnick and Armando Solar-Lezama},\n author_short = {Singh 0002, R. and Singh, R. and Xu, Z. and Krosnick, R. and Solar-Lezama, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2264054},\n id = {dblp2264054},\n biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/SinghSXKS14},\n url = {http://dx.doi.org/10.1007/978-3-642-54013-4_22},\n conference = {VMCAI},\n pages = {395-414},\n text = {VMCAI 2014:395-414},\n booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}\n}","bibbaseid":"singh0002-singh-xu-krosnick-solarlezama-modularsynthesisofsketchesusingmodels-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-54013-4_22"},"downloads":0},"search_terms":["modular","synthesis","sketches","using","models","singh 0002","singh","xu","krosnick","solar-lezama"],"keywords":[],"authorIDs":[],"dataSources":["c3LsE3TMf6Dc9mK2q"]}