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