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]
@inproceedings{TangCXC16,
title = {Service Oriented Verification Integrated Fault Reasoning for SDNs},
author = {Yongning Tang and Guang Cheng and Zhiwei Xu and Feng Chen},
year = {2016},
doi = {10.1109/AINA.2016.54},
url = {http://doi.ieeecomputersociety.org/10.1109/AINA.2016.54},
researchr = {https://researchr.org/publication/TangCXC16},
cites = {0},
citedby = {0},
pages = {624-629},
booktitle = {30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016},
editor = {Leonard Barolli and Makoto Takizawa and Tomoya Enokido and Antonio J. Jara and Yann Bocchi},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-1857-4},
}