%0 Conference Paper %1 conf/infocom/ZhangWBKS17 %A Zhang, Ying %A Wu, Wenfei %A Banerjee, Sujata %A Kang, Joon-Myung %A Sánchez, Mario A. %B INFOCOM %D 2017 %I IEEE %K dblp %P 1-9 %T SLA-verifier: Stateful and quantitative verification for service chaining. %U http://dblp.uni-trier.de/db/conf/infocom/infocom2017.html#ZhangWBKS17 %@ 978-1-5090-5336-0

@inproceedings{conf/infocom/ZhangWBKS17, added-at = {2024-07-23T00:00:00.000+0200}, author = {Zhang, Ying and Wu, Wenfei and Banerjee, Sujata and Kang, Joon-Myung and Sánchez, Mario A.}, biburl = {https://www.bibsonomy.org/bibtex/2f8249e60c92e4a38c6851b8553884136/dblp}, booktitle = {INFOCOM}, crossref = {conf/infocom/2017}, ee = {https://doi.org/10.1109/INFOCOM.2017.8057041}, interhash = {8b226d90a1daecd6caa09e9704a74ca5}, intrahash = {f8249e60c92e4a38c6851b8553884136}, isbn = {978-1-5090-5336-0}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-07-29T07:29:03.000+0200}, title = {SLA-verifier: Stateful and quantitative verification for service chaining.}, url = {http://dblp.uni-trier.de/db/conf/infocom/infocom2017.html#ZhangWBKS17}, year = 2017 }