Verifying Reachability in Networks with Mutable Datapaths
Submitted by jasmine@usenix.org on January 5, 2017 - 5:11 pm
| Title | Verifying Reachability in Networks with Mutable Datapaths |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Panda A, Lahav O, Argyraki K, Sag, iv M, Shenker S |
| Conference Name | 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17) |
| Date Published | 03/2017 |
| Publisher | USENIX Association |
| Conference Location | Boston, MA |
| ISBN Number | 978-1-931971-37-9 |
| URL | https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/panda-mutable-datapaths |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX