%0 Conference Paper %1 conf/birthday/WoodMJSKGGSG15 %A Wood, Samuel B. %A Mathewson, James %A Joy, Joshua %A Stehr, Mark-Oliver %A Kim, Minyoung %A Gehani, Ashish %A Gerla, Mario %A Sadjadpour, Hamid R. %A Garcia-Luna-Aceves, J. J. %B Logic, Rewriting, and Concurrency %D 2015 %E Martí-Oliet, Narciso %E Ölveczky, Peter Csaba %E Talcott, Carolyn L. %I Springer %K dblp %P 617-631 %T ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. %U http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#WoodMJSKGGSG15 %V 9200 %@ 978-3-319-23164-8

@inproceedings{conf/birthday/WoodMJSKGGSG15, added-at = {2016-07-22T00:00:00.000+0200}, author = {Wood, Samuel B. and Mathewson, James and Joy, Joshua and Stehr, Mark-Oliver and Kim, Minyoung and Gehani, Ashish and Gerla, Mario and Sadjadpour, Hamid R. and Garcia-Luna-Aceves, J. J.}, biburl = {https://www.bibsonomy.org/bibtex/22686a24b63224d8eb4b304cffb696093/dblp}, booktitle = {Logic, Rewriting, and Concurrency}, crossref = {conf/birthday/2015meseguer}, editor = {Martí-Oliet, Narciso and Ölveczky, Peter Csaba and Talcott, Carolyn L.}, ee = {http://dx.doi.org/10.1007/978-3-319-23165-5_29}, interhash = {6f03b70187f77247aae8ba3f76204dd5}, intrahash = {2686a24b63224d8eb4b304cffb696093}, isbn = {978-3-319-23164-8}, keywords = {dblp}, pages = {617-631}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-23T11:38:22.000+0200}, title = {ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge.}, url = {http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#WoodMJSKGGSG15}, volume = 9200, year = 2015 }