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