Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis.

Bing Shui, Yufan Zhou, Jielun Wu, Baowen Xu, Qingkai Shi

Browse the full CCS paper archive.