Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo 0002. Incremental Network Configuration Verification. In Ben Zhao, Heather Zheng, Harsha V. Madhyastha, Venkat N. Padmanabhan, editors, HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020. pages 81-87, ACM, 2020. [doi]
@inproceedings{ZhangHGSLYZ20,
title = {Incremental Network Configuration Verification},
author = {Peng Zhang and Yuhao Huang and Aaron Gember-Jacobson and Wenbo Shi and Xu Liu and Hongkun Yang and Zhiqiang Zuo 0002},
year = {2020},
doi = {10.1145/3422604.3425936},
url = {https://doi.org/10.1145/3422604.3425936},
researchr = {https://researchr.org/publication/ZhangHGSLYZ20},
cites = {0},
citedby = {0},
pages = {81-87},
booktitle = {HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020},
editor = {Ben Zhao and Heather Zheng and Harsha V. Madhyastha and Venkat N. Padmanabhan},
publisher = {ACM},
isbn = {978-1-4503-8145-1},
}