|
@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} }