Zhang, Ying; Wu, Wenfei; Banerjee, Sujata; Kang, Joon-Myung; Sanchez, Mario A . (2017). [IEEE IEEE INFOCOM 2017 - IEEE Conference on Computer Communications - Atlanta, GA, USA (2017.5.1-2017.5.4)] IEEE INFOCOM 2017 - IEEE Conference on Computer Communications - SLA-verifier: Stateful and quantitative verification for service chaining. , (), 1–9.
doi:10.1109/INFOCOM.2017.8057041
