@article{ dblp3724250,
  title = {A program logic for resources},
  author = {David Aspinall 0001 and Lennart Beringer and Martin Hofmann 0001 and Hans-Wolfgang Loidl and Alberto Momigliano},
  author_short = {Aspinall 0001, D. and Beringer, L. and Hofmann 0001, M. and Loidl, H. and Momigliano, A.},
  bibtype = {article},
  type = {article},
  year = {2007},
  key = {dblp3724250},
  id = {dblp3724250},
  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":"E7fyn9aAaJSCXEwne","bibbaseid":"aspinall0001-beringer-hofmann0001-loidl-momigliano-aprogramlogicforresources-2007","downloads":0,"creationDate":"2015-09-15T10:26:48.638Z","title":"A program logic for resources","author_short":["Aspinall 0001, D.","Beringer, L.","Hofmann 0001, M.","Loidl, H.","Momigliano, A."],"year":2007,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AspinallBHLM07","bibdata":{"title":"A program logic for resources","author":["David Aspinall 0001","Lennart Beringer","Martin Hofmann 0001","Hans-Wolfgang Loidl","Alberto Momigliano"],"author_short":["Aspinall 0001, D.","Beringer, L.","Hofmann 0001, M.","Loidl, H.","Momigliano, A."],"bibtype":"article","type":"article","year":"2007","key":"dblp3724250","id":"dblp3724250","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)","bibtex":"@article{ dblp3724250,\n title = {A program logic for resources},\n author = {David Aspinall 0001 and Lennart Beringer and Martin Hofmann 0001 and Hans-Wolfgang Loidl and Alberto Momigliano},\n author_short = {Aspinall 0001, D. and Beringer, L. and Hofmann 0001, M. and Loidl, H. and Momigliano, A.},\n bibtype = {article},\n type = {article},\n year = {2007},\n key = {dblp3724250},\n id = {dblp3724250},\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}","bibbaseid":"aspinall0001-beringer-hofmann0001-loidl-momigliano-aprogramlogicforresources-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.tcs.2007.09.003"},"downloads":0},"search_terms":["program","logic","resources","aspinall 0001","beringer","hofmann 0001","loidl","momigliano"],"keywords":[],"authorIDs":[],"dataSources":["94N7cnkkNMYnehxf3"]}