The DHCP Failover Protocol: A Formal Perspective.

Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch

Browse the full FORTE paper archive.