VeriFlow: Verifying Network-Wide Invariants in Real Time presented at NSDI 2013

by Matthew Caesar, Ahmed Khurshid, P. brighten Godfrey, Xuan Zou, Wenxuan Zhou,

URL : https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf

Summary : N/A