DMCA

Formal Specification and Verification of TCP Extended with the Window Scale Option (2014)

by L. Lockefeer , D. M. Williams , W. J. Fokkink