![](/img/cover-not-exists.png)
[ACM Press the 16th ACM Workshop - Palo Alto, CA, USA (2017.11.30-2017.12.01)] Proceedings of the 16th ACM Workshop on Hot Topics in Networks - HotNets-XVI - Integrating Verification and Repair into the Control Plane
Gember-Jacobson, Aaron, Raiciu, Costin, Vanbever, LaurentYear:
2017
Language:
english
DOI:
10.1145/3152434.3152439
File:
PDF, 1.09 MB
english, 2017