Formal Specification and Verification of TCP Extended with the Window Scale Option.

Lars Lockefeer, David M. Williams, Wan J. Fokkink

Browse the full FMICS paper archive.