Convenus: Congestion verification of network updates in software-defined networks.

Xin Liu, Dong Jin, Cheol Won Lee, Jong Cheol Moon

Browse the full WSC paper archive.