Inproceedings,
Correct by Construction Networks Using Stepwise Refinement.
L. Ryzhyk, N. Bjørner, M. Canini, J. Jeannin, C. Schlesinger, D. Terry, and G. Varghese.NSDI, page 683-698. USENIX Association, (2017)
Meta data
- BibTeX key
- conf/nsdi/RyzhykBCJSTV17
- entry type
- inproceedings
- booktitle
- NSDI
- year
- 2017
- pages
- 683-698
- publisher
- USENIX Association
- crossref
- conf/nsdi/2017
- ee
- https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk
- isbn
- 978-1-931971-37-9
- url
- http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#RyzhykBCJSTV17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nsdi/RyzhykBCJSTV17
%A Ryzhyk, Leonid
%A Bjørner, Nikolaj S.
%A Canini, Marco
%A Jeannin, Jean-Baptiste
%A Schlesinger, Cole
%A Terry, Douglas B.
%A Varghese, George
%B NSDI
%D 2017
%E Akella, Aditya
%E Howell, Jon
%I USENIX Association
%K dblp
%P 683-698
%T Correct by Construction Networks Using Stepwise Refinement.
%U http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#RyzhykBCJSTV17
%@ 978-1-931971-37-9
@inproceedings{conf/nsdi/RyzhykBCJSTV17,
added-at = {2022-04-14T00:00:00.000+0200},
author = {Ryzhyk, Leonid and Bjørner, Nikolaj S. and Canini, Marco and Jeannin, Jean-Baptiste and Schlesinger, Cole and Terry, Douglas B. and Varghese, George},
biburl = {https://www.bibsonomy.org/bibtex/21b3b79ae23bf57ef589bbc07da448806/dblp},
booktitle = {NSDI},
crossref = {conf/nsdi/2017},
editor = {Akella, Aditya and Howell, Jon},
ee = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk},
interhash = {efeea69d6cd2c6f75f40f619dcb5530d},
intrahash = {1b3b79ae23bf57ef589bbc07da448806},
isbn = {978-1-931971-37-9},
keywords = {dblp},
pages = {683-698},
publisher = {USENIX Association},
timestamp = {2024-04-09T18:42:34.000+0200},
title = {Correct by Construction Networks Using Stepwise Refinement.},
url = {http://dblp.uni-trier.de/db/conf/nsdi/nsdi2017.html#RyzhykBCJSTV17},
year = 2017
}