@article{f8d518b18ee14c75ba938ea685688ec5,
title = "Formal specification and verification of TCP extended with the window scale option",
author = "L. Lockefeer and D.M. Williams and W.J. Fokkink",
note = "Proceedings title: Proc. 19th Workshop on Formal Methods for Industrial Critical Systems - FMICS'14 Publisher: Springer",
year = "2014",
doi = "10.1007/978-3-319-10702-8\_5",
language = "English",
volume = "8718",
pages = "63--77",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Science and Business Media Deutschland GmbH",
}