SLA-verifier: Stateful and quantitative verification for service chaining.

Ying Zhang, Wenfei Wu, Sujata Banerjee, Joon-Myung Kang, Mario A. Snchez

Browse the full INFOCOM paper archive.