Inproceedings,
Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks.
H. Zeng, S. Zhang, F. Ye, V. Jeyakumar, M. Ju, J. Liu, N. McKeown, and A. Vahdat.NSDI, page 87-99. USENIX Association, (2014)
Meta data
- BibTeX key
- conf/nsdi/ZengZYJJLMV14
- entry type
- inproceedings
- booktitle
- NSDI
- year
- 2014
- pages
- 87-99
- publisher
- USENIX Association
- crossref
- conf/nsdi/2014
- ee
- https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/zeng
- isbn
- 978-1-931971-09-6
- url
- http://dblp.uni-trier.de/db/conf/nsdi/nsdi2014.html#ZengZYJJLMV14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nsdi/ZengZYJJLMV14
%A Zeng, Hongyi
%A Zhang, Shidong
%A Ye, Fei
%A Jeyakumar, Vimalkumar
%A Ju, Mickey
%A Liu, Junda
%A McKeown, Nick
%A Vahdat, Amin
%B NSDI
%D 2014
%E Mahajan, Ratul
%E Stoica, Ion
%I USENIX Association
%K
%P 87-99
%T Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks.
%U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2014.html#ZengZYJJLMV14
%@ 978-1-931971-09-6
@inproceedings{conf/nsdi/ZengZYJJLMV14,
added-at = {2023-12-12T19:22:28.000+0100},
author = {Zeng, Hongyi and Zhang, Shidong and Ye, Fei and Jeyakumar, Vimalkumar and Ju, Mickey and Liu, Junda and McKeown, Nick and Vahdat, Amin},
biburl = {https://www.bibsonomy.org/bibtex/24f23595c0245c604815d2ce5b13a057f/admin},
booktitle = {NSDI},
crossref = {conf/nsdi/2014},
editor = {Mahajan, Ratul and Stoica, Ion},
ee = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/zeng},
interhash = {1fc19b1d7e761ba85fecc597372f977a},
intrahash = {4f23595c0245c604815d2ce5b13a057f},
isbn = {978-1-931971-09-6},
keywords = {},
pages = {87-99},
publisher = {USENIX Association},
timestamp = {2023-12-12T19:22:28.000+0100},
title = {Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks.},
url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2014.html#ZengZYJJLMV14},
year = 2014
}