Inproceedings,
Efficient synthesis of network updates.
J. McClurg, H. Hojjat, P. Cerný, and N. Foster.PLDI, page 196-207. ACM, (2015)
Meta data
- BibTeX key
- conf/pldi/McClurgHCF15
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2015
- pages
- 196-207
- publisher
- ACM
- crossref
- conf/pldi/2015
- ee
- https://doi.org/10.1145/2813885.2737980
- isbn
- 978-1-4503-3468-6
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#McClurgHCF15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/McClurgHCF15
%A McClurg, Jedidiah
%A Hojjat, Hossein
%A Cerný, Pavol
%A Foster, Nate
%B PLDI
%D 2015
%E Grove, David
%E Blackburn, Stephen M.
%I ACM
%K dblp
%P 196-207
%T Efficient synthesis of network updates.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#McClurgHCF15
%@ 978-1-4503-3468-6
@inproceedings{conf/pldi/McClurgHCF15,
added-at = {2021-06-23T00:00:00.000+0200},
author = {McClurg, Jedidiah and Hojjat, Hossein and Cerný, Pavol and Foster, Nate},
biburl = {https://www.bibsonomy.org/bibtex/259233f5e9e0ce03df314f5be24009a0c/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2015},
editor = {Grove, David and Blackburn, Stephen M.},
ee = {https://doi.org/10.1145/2813885.2737980},
interhash = {f9835bdcaa3932dfe868833c57520616},
intrahash = {59233f5e9e0ce03df314f5be24009a0c},
isbn = {978-1-4503-3468-6},
keywords = {dblp},
pages = {196-207},
publisher = {ACM},
timestamp = {2024-04-09T18:59:54.000+0200},
title = {Efficient synthesis of network updates.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#McClurgHCF15},
year = 2015
}