Inproceedings,
SDNRacer: detecting concurrency violations in software-defined networks.
J. Miserez, P. Bielik, A. El-Hassany, L. Vanbever, and M. Vechev.SOSR, page 22:1-22:7. ACM, (2015)
Meta data
- BibTeX key
- conf/sosr/MiserezBEVV15
- entry type
- inproceedings
- booktitle
- SOSR
- year
- 2015
- pages
- 22:1-22:7
- publisher
- ACM
- crossref
- conf/sosr/2015
- ee
- https://doi.org/10.1145/2774993.2775004
- isbn
- 978-1-4503-3451-8
- url
- http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sosr/MiserezBEVV15
%A Miserez, Jeremie
%A Bielik, Pavol
%A El-Hassany, Ahmed
%A Vanbever, Laurent
%A Vechev, Martin T.
%B SOSR
%D 2015
%E Rexford, Jennifer
%E Vahdat, Amin
%I ACM
%K dblp
%P 22:1-22:7
%T SDNRacer: detecting concurrency violations in software-defined networks.
%U http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15
%@ 978-1-4503-3451-8
@inproceedings{conf/sosr/MiserezBEVV15,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Miserez, Jeremie and Bielik, Pavol and El-Hassany, Ahmed and Vanbever, Laurent and Vechev, Martin T.},
biburl = {https://www.bibsonomy.org/bibtex/2f14114e9ea103c44d01662d5e044418e/dblp},
booktitle = {SOSR},
crossref = {conf/sosr/2015},
editor = {Rexford, Jennifer and Vahdat, Amin},
ee = {https://doi.org/10.1145/2774993.2775004},
interhash = {9603ca685781bf24d607831b9b9bd4ff},
intrahash = {f14114e9ea103c44d01662d5e044418e},
isbn = {978-1-4503-3451-8},
keywords = {dblp},
pages = {22:1-22:7},
publisher = {ACM},
timestamp = {2018-11-07T13:59:46.000+0100},
title = {SDNRacer: detecting concurrency violations in software-defined networks.},
url = {http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15},
year = 2015
}