Biblio

Export 1 results:
Filters: Author is Ahmed Khurshid  [Clear All Filters]
2013
Khurshid A, Zou X, Zhou W, Caesar M, P. Godfrey B.  2013.  VeriFlow: Verifying Network-Wide Invariants in Real Time. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :15--27.