@article{ dblp2328068,
  title = {A type system for counting instances of software components},
  author = {Marc Bezem and Dag Hovland and Hoang Truong},
  author_short = {Bezem, M. and Hovland, D. and Truong, H.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2328068},
  id = {dblp2328068},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/BezemHT12},
  url = {http://dx.doi.org/10.1016/j.tcs.2012.07.032},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {29-48},
  volume = {458},
  text = {Theor. Comput. Sci. (TCS) 458:29-48 (2012)}
}

{"_id":"qkFJ86zmfXD56HmHP","bibbaseid":"bezem-hovland-truong-atypesystemforcountinginstancesofsoftwarecomponents-2012","downloads":0,"creationDate":"2015-06-12T22:13:31.836Z","title":"A type system for counting instances of software components","author_short":["Bezem, M.","Hovland, D.","Truong, H."],"year":2012,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/BezemHT12","bibdata":{"title":"A type system for counting instances of software components","author":["Marc Bezem","Dag Hovland","Hoang Truong"],"author_short":["Bezem, M.","Hovland, D.","Truong, H."],"bibtype":"article","type":"article","year":"2012","key":"dblp2328068","id":"dblp2328068","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/BezemHT12","url":"http://dx.doi.org/10.1016/j.tcs.2012.07.032","journal":"Theor. Comput. Sci. (TCS)","pages":"29-48","volume":"458","text":"Theor. Comput. Sci. (TCS) 458:29-48 (2012)","bibtex":"@article{ dblp2328068,\n title = {A type system for counting instances of software components},\n author = {Marc Bezem and Dag Hovland and Hoang Truong},\n author_short = {Bezem, M. and Hovland, D. and Truong, H.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2328068},\n id = {dblp2328068},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/BezemHT12},\n url = {http://dx.doi.org/10.1016/j.tcs.2012.07.032},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {29-48},\n volume = {458},\n text = {Theor. Comput. Sci. (TCS) 458:29-48 (2012)}\n}","bibbaseid":"bezem-hovland-truong-atypesystemforcountinginstancesofsoftwarecomponents-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.tcs.2012.07.032"},"downloads":0},"search_terms":["type","system","counting","instances","software","components","bezem","hovland","truong"],"keywords":[],"authorIDs":[],"dataSources":["mdDihRA2JCd3ev9cQ"]}