@inproceedings{ conf/splc/McGeeM15,
  added-at = {2015-08-14T00:00:00.000+0200},
  author = {McGee, Ethan T. and McGregor, John D.},
  biburl = {http://www.bibsonomy.org/bibtex/266cf3fdaaba3f48df587243fad738211/dblp},
  booktitle = {SPLC},
  crossref = {conf/splc/2015},
  editor = {Schmidt, Douglas C.},
  ee = {http://doi.acm.org/10.1145/2791060.2793676},
  interhash = {a91e8adb46d031461249568da4b05640},
  intrahash = {66cf3fdaaba3f48df587243fad738211},
  isbn = {978-1-4503-3613-0},
  keywords = {dblp},
  pages = {419-426},
  publisher = {ACM},
  title = {Composition of proof-carrying architectures for cyber-physical systems.},
  url = {http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15},
  year = {2015}
}

{"_id":"4kn8hXBrpxvsgqdp9","bibbaseid":"mcgee-mcgregor-compositionofproofcarryingarchitecturesforcyberphysicalsystems-2015","downloads":0,"creationDate":"2015-09-08T15:38:35.893Z","title":"Composition of proof-carrying architectures for cyber-physical systems.","author_short":["McGee, E.<nbsp>T.","McGregor, J.<nbsp>D."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-14T00:00:00.000+0200","author":["McGee, Ethan T.","McGregor, John D."],"author_short":["McGee, E.<nbsp>T.","McGregor, J.<nbsp>D."],"bibtex":"@inproceedings{ conf/splc/McGeeM15,\n added-at = {2015-08-14T00:00:00.000+0200},\n author = {McGee, Ethan T. and McGregor, John D.},\n biburl = {http://www.bibsonomy.org/bibtex/266cf3fdaaba3f48df587243fad738211/dblp},\n booktitle = {SPLC},\n crossref = {conf/splc/2015},\n editor = {Schmidt, Douglas C.},\n ee = {http://doi.acm.org/10.1145/2791060.2793676},\n interhash = {a91e8adb46d031461249568da4b05640},\n intrahash = {66cf3fdaaba3f48df587243fad738211},\n isbn = {978-1-4503-3613-0},\n keywords = {dblp},\n pages = {419-426},\n publisher = {ACM},\n title = {Composition of proof-carrying architectures for cyber-physical systems.},\n url = {http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15},\n year = {2015}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/266cf3fdaaba3f48df587243fad738211/dblp","booktitle":"SPLC","crossref":"conf/splc/2015","editor":["Schmidt, Douglas C."],"editor_short":["Schmidt, D.<nbsp>C."],"ee":"http://doi.acm.org/10.1145/2791060.2793676","id":"conf/splc/McGeeM15","interhash":"a91e8adb46d031461249568da4b05640","intrahash":"66cf3fdaaba3f48df587243fad738211","isbn":"978-1-4503-3613-0","key":"conf/splc/McGeeM15","keywords":"dblp","pages":"419-426","publisher":"ACM","title":"Composition of proof-carrying architectures for cyber-physical systems.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15","year":"2015","bibbaseid":"mcgee-mcgregor-compositionofproofcarryingarchitecturesforcyberphysicalsystems-2015","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2791060.2793676","Paper":"http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15"},"keyword":["dblp"],"downloads":0},"search_terms":["composition","proof","carrying","architectures","cyber","physical","systems","mcgee","mcgregor"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}