Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella. Tiramisu: Fast Multilayer Network Verification. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 201-219, USENIX Association, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.