Modeling and verifying SDN with multiple controllers.

Lili Xiao, Shuangqing Xiang, Huibiao Zhu

Browse the full SAC paper archive.