@inproceedings{ dblp1841136,
  title = {Formal and Informal Methods for Multi-Core Design Space Exploration},
  author = {Jean-Francois Kempf and Olivier Lebeltel and Oded Maler},
  author_short = {Kempf, J. and Lebeltel, O. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1841136},
  id = {dblp1841136},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KempfLM14},
  url = {http://dx.doi.org/10.4204/EPTCS.154.6},
  conference = {QAPL},
  pages = {78-92},
  text = {QAPL 2014:78-92},
  booktitle = {Proceedings of Quantitative Aspects of Programming Languages and Systems (QAPL)}
}

{"_id":"7JpQwgXyfpcWHkHtf","bibbaseid":"kempf-lebeltel-maler-formalandinformalmethodsformulticoredesignspaceexploration-2014","downloads":0,"creationDate":"2015-07-05T11:05:40.006Z","title":"Formal and Informal Methods for Multi-Core Design Space Exploration","author_short":["Kempf, J.","Lebeltel, O.","Maler, O."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/KempfLM14","bibdata":{"title":"Formal and Informal Methods for Multi-Core Design Space Exploration","author":["Jean-Francois Kempf","Olivier Lebeltel","Oded Maler"],"author_short":["Kempf, J.","Lebeltel, O.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1841136","id":"dblp1841136","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/KempfLM14","url":"http://dx.doi.org/10.4204/EPTCS.154.6","conference":"QAPL","pages":"78-92","text":"QAPL 2014:78-92","booktitle":"Proceedings of Quantitative Aspects of Programming Languages and Systems (QAPL)","bibtex":"@inproceedings{ dblp1841136,\n title = {Formal and Informal Methods for Multi-Core Design Space Exploration},\n author = {Jean-Francois Kempf and Olivier Lebeltel and Oded Maler},\n author_short = {Kempf, J. and Lebeltel, O. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1841136},\n id = {dblp1841136},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KempfLM14},\n url = {http://dx.doi.org/10.4204/EPTCS.154.6},\n conference = {QAPL},\n pages = {78-92},\n text = {QAPL 2014:78-92},\n booktitle = {Proceedings of Quantitative Aspects of Programming Languages and Systems (QAPL)}\n}","bibbaseid":"kempf-lebeltel-maler-formalandinformalmethodsformulticoredesignspaceexploration-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.154.6"},"downloads":0},"search_terms":["formal","informal","methods","multi","core","design","space","exploration","kempf","lebeltel","maler"],"keywords":[],"authorIDs":[],"dataSources":["erTpEMWSkqX9WuMWf"]}