|
@inproceedings{, author = {Roman May and Ahmed El-Hassany and Laurent Vanbever and Martin Vechev}, title = {BigBug: Practical Concurrency Analysis for SDN}, address = {Santa Clara, CA, USA}, booktitle = {ACM Symposium on SDN Research (SOSR)}, publisher = {ACM}, month = {Apr}, year = {2017} }