Yongning Tang, Guang Cheng, Zhiwei Xu, Feng Chen. Service Oriented Verification Integrated Fault Reasoning for SDNs. In Leonard Barolli, Makoto Takizawa, Tomoya Enokido, Antonio J. Jara, Yann Bocchi, editors, 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016. pages 624-629, IEEE Computer Society, 2016. [doi]
Abstract is missing.