SDN-VSA: Modeling and Analysis of SDN Control Applications Using Vector Spaces | IEEE Conference Publication | IEEE Xplore