Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees.

Klaus-Tycho Foerster, Stefan Schmid

Browse the full NCA paper archive.