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

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)63-77
JournalLecture Notes in Computer Science
Volume8718
DOIs
Publication statusPublished - 2014

Bibliographical note

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

Cite this

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

}

Formal specification and verification of TCP extended with the window scale option. / Lockefeer, L.; Williams, D.M.; Fokkink, W.J.

In: Lecture Notes in Computer Science, Vol. 8718, 2014, p. 63-77.

Research output: Contribution to JournalArticleAcademicpeer-review

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

VL - 8718

SP - 63

EP - 77

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -