Concepedia

Author

Lars Lockefeer

Vrije Universiteit Amsterdam

Also Known As

Lars Lockefeer

2

Publications

30

Citations

2

H-Index

9

Concepts

All Affiliations

Vrije Universiteit Amsterdam
LL

About

Lars Lockefeer is an author at Vrije Universiteit Amsterdam specializing in formal methods, hardware security, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

21

2

Computer Engineering

1

1

21

3

Computer Science

1

1

21

4

Formal Methods

1

1

21

5

Formal Specification

1

1

21

Lars Lockefeer

×

1

Publications

21

Citations

1

H-Index

YearCitations

Formal specification and verification of TCP extended with the Window Scale Option

Lars Lockefeer, David Williams, Wan Fokkink

Science of Computer Programming

2015

21

Page 1