A. Khurshid
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Veriflow: Verifying network-wide invariants in real time
A. Khurshid and others (2013) · Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)