%0 Conference Paper %1 conf/splc/McGeeM15 %A McGee, Ethan T. %A McGregor, John D. %B SPLC %D 2015 %E Schmidt, Douglas C. %I ACM %K dblp %P 419-426 %T Composition of proof-carrying architectures for cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/splc/splc2015.html#McGeeM15 %@ 978-1-4503-3613-0

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