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
Publication statusPublished - 2014

Bibliographical note

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

Cite this