Formal specification and verification of TCP extended with the window scale option

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	63-77
Journal	Lecture Notes in Computer Science
Volume	8718
DOIs	https://doi.org/10.1007/978-3-319-10702-8_5
Publication status	Published - 2014

Proceedings title: Proc. 19th Workshop on Formal Methods for Industrial Critical Systems - FMICS'14
Publisher: Springer

Access to Document

@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 Verlag",

}

TY - JOUR

T1 - Formal specification and verification of TCP extended with the window scale option

AU - Lockefeer, L.

AU - Williams, D.M.

AU - Fokkink, W.J.

N1 - Proceedings title: Proc. 19th Workshop on Formal Methods for Industrial Critical Systems - FMICS'14 Publisher: Springer

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-10702-8_5

DO - 10.1007/978-3-319-10702-8_5

M3 - Article

SN - 0302-9743

VL - 8718

SP - 63

EP - 77

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -