Biblio

Export 1 results:
Filters: Author is Farnaz Yousefi  [Clear All Filters]
2020
Yousefi F, Abhashkumar A, Subramanian K, Hans K, Ghorbani S, Akella A.  2020.  Liveness Verification of Stateful Network Functions . 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20). :257--272.