|
Authors: | Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | iRacer: Concurrency Analysis for Software-Defined Networks |
Year: | 2016 |
Month: | June |
Book Titel: | ACM PLDI |
Location: | Santa Barbara, CA, USA |
Resources: | [BibTeX] |