 |
|
|||
| 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] |
