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]
Abstract is missing.