![](/img/cover-not-exists.png)
Formal specification and verification of TCP extended with the Window Scale Option
Lockefeer, Lars, Williams, David M., Fokkink, WanLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2015.08.005
Date:
August, 2015
File:
PDF, 1.28 MB
english, 2015