Peyman Kazemian, George Varghese, Nick McKeown. Header Space Analysis: Static Checking for Networks. In Steven D. Gribble, Dina Katabi, editors, Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012. pages 113-126, USENIX Association, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.