A formally-verified migration protocol for mobile, multi-homed hosts
- Matvey Arye
- , Erik Nordström
- , Robert Kiefer
- , Jennifer L. Rexford
- , Michael Joseph Freedman
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
16
Link opens in a new tab
Scopus
citations