@article{ dblp2592382,
  title = {A program logic for resources},
  author = {David Aspinall and Lennart Beringer and Martin Hofmann and Hans-Wolfgang Loidl and Alberto Momigliano},
  author_short = {Aspinall, D. and Beringer, L. and Hofmann, M. and Loidl, H. and Momigliano, A.},
  bibtype = {article},
  type = {article},
  year = {2007},
  key = {dblp2592382},
  id = {dblp2592382},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.09.003},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {411-445},
  number = {3},
  volume = {389},
  text = {Theor. Comput. Sci. (TCS) 389(3):411-445 (2007)}
}

{"_id":{"_str":"5277dc255e011a4c4b000178"},"__v":0,"authorIDs":[],"author_short":["Aspinall, D.","Beringer, L.","Hofmann, M.","Loidl, H.","Momigliano, A."],"bibbaseid":"aspinall-beringer-hofmann-loidl-momigliano-aprogramlogicforresources-2007","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp2592382\"> </a>A program logic for resources.</span>\n\t<span class=\"bibbase_paper_author\">\nAspinall, D.; Beringer, L.; Hofmann, M.; Loidl, H.; and Momigliano, A.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2007</span>. -->\n</span>\n\n\n\n<i>Theor. Comput. Sci. (TCS)</i>,\n\n389(3):411-445.\n\n 2007.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('aspinall-beringer-hofmann-loidl-momigliano-aprogramlogicforresources-2007', 'http://dx.doi.org/10.1016/j.tcs.2007.09.003')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1016/j.tcs.2007.09.003\"\n onclick=\"javascript:log_download('aspinall-beringer-hofmann-loidl-momigliano-aprogramlogicforresources-2007', 'http://dx.doi.org/10.1016/j.tcs.2007.09.003')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"A program logic for resources [.003]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n &nbsp;\n \n \n <a href=\"javascript:showBib('dblp2592382')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"A program logic for resources [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp2592382\"\n style=\"display:none\">\n <pre>@article{ dblp2592382,\n title = {A program logic for resources},\n author = {David Aspinall and Lennart Beringer and Martin Hofmann and Hans-Wolfgang Loidl and Alberto Momigliano},\n author_short = {Aspinall, D. and Beringer, L. and Hofmann, M. and Loidl, H. and Momigliano, A.},\n bibtype = {article},\n type = {article},\n year = {2007},\n key = {dblp2592382},\n id = {dblp2592382},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07},\n url = {http://dx.doi.org/10.1016/j.tcs.2007.09.003},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {411-445},\n number = {3},\n volume = {389},\n text = {Theor. Comput. Sci. (TCS) 389(3):411-445 (2007)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"aspinall-beringer-hofmann-loidl-momigliano-aprogramlogicforresources-2007","urls":{"Paper":"http://dx.doi.org/10.1016/j.tcs.2007.09.003"},"role":"author","bibtex":"@article{ dblp2592382,\n title = {A program logic for resources},\n author = {David Aspinall and Lennart Beringer and Martin Hofmann and Hans-Wolfgang Loidl and Alberto Momigliano},\n author_short = {Aspinall, D. and Beringer, L. and Hofmann, M. and Loidl, H. and Momigliano, A.},\n bibtype = {article},\n type = {article},\n year = {2007},\n key = {dblp2592382},\n id = {dblp2592382},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07},\n url = {http://dx.doi.org/10.1016/j.tcs.2007.09.003},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {411-445},\n number = {3},\n volume = {389},\n text = {Theor. Comput. Sci. (TCS) 389(3):411-445 (2007)}\n}","text":"Theor. Comput. Sci. (TCS) 389(3):411-445 (2007)","volume":"389","number":"3","pages":"411-445","journal":"Theor. Comput. Sci. (TCS)","url":"http://dx.doi.org/10.1016/j.tcs.2007.09.003","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07","id":"dblp2592382","key":"dblp2592382","year":"2007","type":"article","bibtype":"article","author_short":["Aspinall, D.","Beringer, L.","Hofmann, M.","Loidl, H.","Momigliano, A."],"author":["David Aspinall","Lennart Beringer","Martin Hofmann","Hans-Wolfgang Loidl","Alberto Momigliano"],"title":"A program logic for resources"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07","downloads":0,"search_terms":["program","logic","resources","aspinall","beringer","hofmann","loidl","momigliano"],"title":"A program logic for resources","year":2007,"dataSources":["94N7cnkkNMYnehxf3"]}