| |
|
|||
@inproceedings{,
author = {Aaron Gember-Jacobson and Costin Raiciu and Laurent Vanbever},
title = {Integrating Verification and Repair into the Control Plane},
address = {Palo Alto, California, USA},
booktitle = {ACM HotNets 2017},
publisher = {ACM},
month = {Nov},
year = {2017}
}