A graph based formalism for detecting flow conflicts in software defined network | IEEE Conference Publication | IEEE Xplore