Yongning Tang,程光,Zhiwei Xu. Service Oriented Verification Integrated Fault Reasoning for SDNs. The 30-th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016). 2016-03.