Specification and Verification of Network Managers for Large Internets.

David L. Cohrs, Barton P. Miller

Browse the full SIGCOMM paper archive.