{"_id":{"_str":"53f4713d3d9d602c1a0010b2"},"__v":0,"authorIDs":[],"author_short":["de<nbsp>Melo","Vieira, A.<nbsp>C.","Barringer, H."],"bibbaseid":"denbspmelo-vieira-barringer-afoundationforformalreuseofhardware-1995","bibdata":{"html":"","downloads":0,"keyword":["dblp"],"urls":{"Paper":"http://dblp.uni-trier.de/db/conf/charme/charme1995.html#MeloB95","Link":"http://dx.doi.org/10.1007/3-540-60385-9_8"},"role":"author","bibbaseid":"denbspmelo-vieira-barringer-afoundationforformalreuseofhardware-1995","year":"1995","volume":"987","url":"http://dblp.uni-trier.de/db/conf/charme/charme1995.html#MeloB95","type":"inproceedings","title":"A foundation for formal reuse of hardware.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"124-145","keywords":"dblp","key":"conf/charme/MeloB95","isbn":"3-540-60385-9","intrahash":"2d76acae6b483895483eb0a24831d71f","interhash":"cc4feb763111813f34f229ec7d2b4f52","id":"conf/charme/MeloB95","ee":"http://dx.doi.org/10.1007/3-540-60385-9_8","editor_short":["Camurati, P.","Eveking, H."],"editor":["Camurati, Paolo","Eveking, Hans"],"crossref":"conf/charme/1995","booktitle":"CHARME","biburl":"http://www.bibsonomy.org/bibtex/22d76acae6b483895483eb0a24831d71f/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/charme/MeloB95,\n added-at = {2011-06-23T00:00:00.000+0200},\n author = {de Melo, Ana Cristina Vieira and Barringer, Howard},\n biburl = {http://www.bibsonomy.org/bibtex/22d76acae6b483895483eb0a24831d71f/dblp},\n booktitle = {CHARME},\n crossref = {conf/charme/1995},\n editor = {Camurati, Paolo and Eveking, Hans},\n ee = {http://dx.doi.org/10.1007/3-540-60385-9_8},\n interhash = {cc4feb763111813f34f229ec7d2b4f52},\n intrahash = {2d76acae6b483895483eb0a24831d71f},\n isbn = {3-540-60385-9},\n keywords = {dblp},\n pages = {124-145},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {A foundation for formal reuse of hardware.},\n url = {http://dblp.uni-trier.de/db/conf/charme/charme1995.html#MeloB95},\n volume = {987},\n year = {1995}\n}","author_short":["de<nbsp>Melo","Vieira, A.<nbsp>C.","Barringer, H."],"author":["de Melo","Vieira, Ana Cristina","Barringer, Howard"],"added-at":"2011-06-23T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Melo?items=1000","creationDate":"2014-08-20T09:58:21.614Z","downloads":0,"keywords":["dblp"],"search_terms":["foundation","formal","reuse","hardware","de<nbsp>melo","vieira","barringer"],"title":"A foundation for formal reuse of hardware.","year":1995,"dataSources":["aQGcfqSy5GLivCyrC"]}