Inproceedings,
Machine-verified network controllers.
A. Guha, M. Reitblatt, and N. Foster.PLDI, page 483-494. ACM, (2013)
Meta data
- BibTeX key
- conf/pldi/GuhaRF13
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2013
- pages
- 483-494
- publisher
- ACM
- crossref
- conf/pldi/2013
- ee
- https://doi.org/10.1145/2499370.2462178
- isbn
- 978-1-4503-2014-6
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GuhaRF13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/GuhaRF13
%A Guha, Arjun
%A Reitblatt, Mark
%A Foster, Nate
%B PLDI
%D 2013
%E Boehm, Hans-Juergen
%E Flanagan, Cormac
%I ACM
%K dblp
%P 483-494
%T Machine-verified network controllers.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GuhaRF13
%@ 978-1-4503-2014-6
@inproceedings{conf/pldi/GuhaRF13,
added-at = {2023-08-06T00:00:00.000+0200},
author = {Guha, Arjun and Reitblatt, Mark and Foster, Nate},
biburl = {https://www.bibsonomy.org/bibtex/21d81e516b5da55d4a7bac0aa3d20e034/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2013},
editor = {Boehm, Hans-Juergen and Flanagan, Cormac},
ee = {https://doi.org/10.1145/2499370.2462178},
interhash = {0b94ef3a46646f32acd67676d894e738},
intrahash = {1d81e516b5da55d4a7bac0aa3d20e034},
isbn = {978-1-4503-2014-6},
keywords = {dblp},
pages = {483-494},
publisher = {ACM},
timestamp = {2024-04-10T06:17:17.000+0200},
title = {Machine-verified network controllers.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GuhaRF13},
year = 2013
}