USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Delta-net: Real-time Network Verification Using Atoms
Submitted by jasmine@usenix.org on January 5, 2017 - 5:13 pm
| Title | Delta-net: Real-time Network Verification Using Atoms |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Horn A, Kheradmand A, Prasad M |
| 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/horn-alex |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX