Publications

Found 1 results
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is V and Author is Katerina J. Argyraki  [Clear All Filters]
Conference Paper
Panda, A., Lahav O., Argyraki K., Sagiv M., & Shenker S. J. (2017).  Verifying Reachability in Networks with Mutable Datapaths. Proceedings of NSDI '17.