Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra. Verifying and enforcing network paths with icing. In Kenjiro Cho, Mark Crovella, editors, Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011. pages 30, ACM, 2011. [doi]
@inproceedings{NaousWNMMS11,
title = {Verifying and enforcing network paths with icing},
author = {Jad Naous and Michael Walfish and Antonio Nicolosi and David Mazières and Michael Miller and Arun Seehra},
year = {2011},
doi = {10.1145/2079296.2079326},
url = {http://doi.acm.org/10.1145/2079296.2079326},
researchr = {https://researchr.org/publication/NaousWNMMS11},
cites = {0},
citedby = {0},
pages = {30},
booktitle = {Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011},
editor = {Kenjiro Cho and Mark Crovella},
publisher = {ACM},
isbn = {978-1-4503-1041-3},
}