Inproceedings,
Verifying Reachability in Networks with Mutable Datapaths.
A. Panda, O. Lahav, K. Argyraki, M. Sagiv, and S. Shenker.NSDI, page 699-718. USENIX Association, (2017)
Meta data
- BibTeX key
- conf/nsdi/PandaLASS17
- entry type
- inproceedings
- booktitle
- NSDI
- year
- 2017
- pages
- 699-718
- publisher
- USENIX Association
- crossref
- conf/nsdi/2017
- ee
- https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/panda-mutable-datapaths
- isbn
- 978-1-931971-37-9
- url
- http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#PandaLASS17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nsdi/PandaLASS17
%A Panda, Aurojit
%A Lahav, Ori
%A Argyraki, Katerina J.
%A Sagiv, Mooly
%A Shenker, Scott
%B NSDI
%D 2017
%E Akella, Aditya
%E Howell, Jon
%I USENIX Association
%K
%P 699-718
%T Verifying Reachability in Networks with Mutable Datapaths.
%U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#PandaLASS17
%@ 978-1-931971-37-9
@inproceedings{conf/nsdi/PandaLASS17,
added-at = {2023-12-13T04:54:41.000+0100},
author = {Panda, Aurojit and Lahav, Ori and Argyraki, Katerina J. and Sagiv, Mooly and Shenker, Scott},
biburl = {https://www.bibsonomy.org/bibtex/24991c028a3911d4ce87111de9adca93f/admin},
booktitle = {NSDI},
crossref = {conf/nsdi/2017},
editor = {Akella, Aditya and Howell, Jon},
ee = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/panda-mutable-datapaths},
interhash = {9bf4142504ce6e4206e44ff727b38af0},
intrahash = {4991c028a3911d4ce87111de9adca93f},
isbn = {978-1-931971-37-9},
keywords = {},
pages = {699-718},
publisher = {USENIX Association},
timestamp = {2023-12-13T04:54:41.000+0100},
title = {Verifying Reachability in Networks with Mutable Datapaths.},
url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#PandaLASS17},
year = 2017
}