Formal specification and verification of a connection establishment protocol.

Daniel Schwabe

Browse the full SIGCOMM paper archive.