@article{ dblp3642749,
  title = {A Type System for the Safe Instantiation of Components},
  author = {Marc Bezem and Hoang Truong},
  author_short = {Bezem, M. and Truong, H.},
  bibtype = {article},
  type = {article},
  year = {2004},
  key = {dblp3642749},
  id = {dblp3642749},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.04.037},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {197-217},
  volume = {97},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)}
}

{"_id":"GCTGtjdnNM6twMho9","bibbaseid":"bezem-truong-atypesystemforthesafeinstantiationofcomponents-2004","downloads":0,"creationDate":"2015-06-12T22:13:32.128Z","title":"A Type System for the Safe Instantiation of Components","author_short":["Bezem, M.","Truong, H."],"year":2004,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04","bibdata":{"title":"A Type System for the Safe Instantiation of Components","author":["Marc Bezem","Hoang Truong"],"author_short":["Bezem, M.","Truong, H."],"bibtype":"article","type":"article","year":"2004","key":"dblp3642749","id":"dblp3642749","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04","url":"http://dx.doi.org/10.1016/j.entcs.2004.04.037","journal":"Electr. Notes Theor. Comput. Sci. (ENTCS)","pages":"197-217","volume":"97","text":"Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)","bibtex":"@article{ dblp3642749,\n title = {A Type System for the Safe Instantiation of Components},\n author = {Marc Bezem and Hoang Truong},\n author_short = {Bezem, M. and Truong, H.},\n bibtype = {article},\n type = {article},\n year = {2004},\n key = {dblp3642749},\n id = {dblp3642749},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04},\n url = {http://dx.doi.org/10.1016/j.entcs.2004.04.037},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {197-217},\n volume = {97},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)}\n}","bibbaseid":"bezem-truong-atypesystemforthesafeinstantiationofcomponents-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2004.04.037"},"downloads":0},"search_terms":["type","system","safe","instantiation","components","bezem","truong"],"keywords":[],"authorIDs":[],"dataSources":["ME2YkRy4nT6ptB83g"]}