Publications

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