|
Authors: | Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | BigBug: Practical Concurrency Analysis for SDN |
Year: | 2017 |
Month: | April |
Book Titel: | ACM Symposium on SDN Research (SOSR) |
Publisher: | ACM |
Location: | Santa Clara, CA, USA |
Resources: | [BibTeX] [ External LINK ] [Paper as PDF] |