A Verified Session Protocol for Dynamic Service Chaining
- Pamela Zave
- , Fabricio B. Carvalho
- , Ronaldo A. Ferreira
- , Jennifer Rexford
- , Masaharu Morimoto
- , Xuan Kelvin Zou
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Scopus
citations