%0 Conference Paper %1 conf/ccs/RaufGAHCO16 %A Rauf, Usman %A Gillani, Fida %A Al-Shaer, Ehab %A Halappanavar, Mahantesh %A Chatterjee, Samrat %A Oehmen, Christopher S. %B MTD@CCS %D 2016 %E Liu, Peng %E Wang, Cliff %I ACM %K dblp %P 117-127 %T Formal Approach for Resilient Reachability based on End-System Route Agility. %U http://dblp.uni-trier.de/db/conf/ccs/mtd2016.html#RaufGAHCO16 %@ 978-1-4503-4570-5

@inproceedings{conf/ccs/RaufGAHCO16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Rauf, Usman and Gillani, Fida and Al-Shaer, Ehab and Halappanavar, Mahantesh and Chatterjee, Samrat and Oehmen, Christopher S.}, biburl = {https://www.bibsonomy.org/bibtex/201423ce521c763f42f72a763b0e0793e/dblp}, booktitle = {MTD@CCS}, crossref = {conf/ccs/2016mtd}, editor = {Liu, Peng and Wang, Cliff}, ee = {https://doi.org/10.1145/2995272.2995275}, interhash = {e01910389021f3a14d83a387161d7e86}, intrahash = {01423ce521c763f42f72a763b0e0793e}, isbn = {978-1-4503-4570-5}, keywords = {dblp}, pages = {117-127}, publisher = {ACM}, timestamp = {2020-11-11T11:40:20.000+0100}, title = {Formal Approach for Resilient Reachability based on End-System Route Agility.}, url = {http://dblp.uni-trier.de/db/conf/ccs/mtd2016.html#RaufGAHCO16}, year = 2016 }