Login / Signup
Lars Lockefeer
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Specification Languages
Formal Specification
Model Checker
Grid Workflow
Top Venues
Sci. Comput. Program.
FMICS
</>
Publications
</>
Lars Lockefeer
,
David M. Williams
,
Wan J. Fokkink
Formal specification and verification of TCP extended with the Window Scale Option.
Sci. Comput. Program.
118 (2016)
Lars Lockefeer
,
David M. Williams
,
Wan J. Fokkink
Formal Specification and Verification of TCP Extended with the Window Scale Option.
FMICS
(2014)