USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Proof-based Verification of Software Defined Networks
Submitted by arnold on February 24, 2014 - 4:37 pm
| Title | Proof-based Verification of Software Defined Networks |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Chen C, Jia L, Zhou W, Loo BThau |
| Conference Name | Open Networking Summit 2014 (ONS 2014) |
| Date Published | 03/2014 |
| Publisher | USENIX Association |
| Conference Location | Santa Clara, CA |
| URL | https://www.usenix.org/conference/ons2014/technical-sessions/presentation/chen |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX