Comprehensive Network Configuration Verification via Effective Environment Reduction.

Xinzhe Liu, Yahui Li, Han Zhang, Renrui Tian, Xia Yin, Xingang Shi, Gang Ren, Jilong Wang, Jiangyuan Yao

Browse the full INFOCOM paper archive.