Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation

Marko van Eekelen, S. Hoedt, ten, R. Schreurs, Y.S. Usenko

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Nijmegen
Publisher	Radboud Universiteit Nijmegen
Number of pages	18
Publication status	Published - 2007

Name	Technical Report
Volume	ICIS-R07014

Cite this

@book{1d5d5e2d06ba48b2a469351acf1a10e7,

title = "Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation",

author = "{van Eekelen}, Marko and {Hoedt, ten}, S. and R. Schreurs and Y.S. Usenko",

year = "2007",

language = "English",

series = "Technical Report",

publisher = "Radboud Universiteit Nijmegen",

}

TY - BOOK

T1 - Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation

AU - van Eekelen, Marko

AU - Hoedt, ten, S.

AU - Schreurs, R.

AU - Usenko, Y.S.

PY - 2007

Y1 - 2007

UR - https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-tenHoedt-SessionLayerIndustrial

M3 - Report

T3 - Technical Report

BT - Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation

PB - Radboud Universiteit Nijmegen

CY - Nijmegen

ER -