|
Authors: | Aaron Gember-Jacobson, Costin Raiciu, Laurent Vanbever |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | Integrating Verification and Repair into the Control Plane |
Year: | 2017 |
Month: | November |
Book Titel: | ACM HotNets 2017 |
Publisher: | ACM |
Location: | Palo Alto, California, USA |
Resources: | [BibTeX] [Paper as PDF] |