Ying Zhang, Wenfei Wu, Sujata Banerjee, Joon-Myung Kang, Mario A. Sánchez. SLA-verifier: Stateful and quantitative verification for service chaining. In 2017 IEEE Conference on Computer Communications, INFOCOM 2017, Atlanta, GA, USA, May 1-4, 2017. pages 1-9, IEEE, 2017. [doi]
@inproceedings{ZhangWBKS17,
title = {SLA-verifier: Stateful and quantitative verification for service chaining},
author = {Ying Zhang and Wenfei Wu and Sujata Banerjee and Joon-Myung Kang and Mario A. Sánchez},
year = {2017},
doi = {10.1109/INFOCOM.2017.8057041},
url = {https://doi.org/10.1109/INFOCOM.2017.8057041},
researchr = {https://researchr.org/publication/ZhangWBKS17},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {2017 IEEE Conference on Computer Communications, INFOCOM 2017, Atlanta, GA, USA, May 1-4, 2017},
publisher = {IEEE},
isbn = {978-1-5090-5336-0},
}