Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev. BigBug: Practical Concurrency Analysis for SDN. In Proceedings of the Symposium on SDN Research, SOSR 2017, Santa Clara, CA, USA, April 3-4, 2017. pages 88-94, ACM, 2017. [doi]
@inproceedings{MayEVV17,
title = {BigBug: Practical Concurrency Analysis for SDN},
author = {Roman May and Ahmed El-Hassany and Laurent Vanbever and Martin T. Vechev},
year = {2017},
doi = {10.1145/3050220.3050230},
url = {http://doi.acm.org/10.1145/3050220.3050230},
researchr = {https://researchr.org/publication/MayEVV17},
cites = {0},
citedby = {0},
pages = {88-94},
booktitle = {Proceedings of the Symposium on SDN Research, SOSR 2017, Santa Clara, CA, USA, April 3-4, 2017},
publisher = {ACM},
isbn = {978-1-4503-4947-5},
}