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