Verifying a sliding window protocol in mu-CRL

W.J. Fokkink, J.F. Groote, J. Pang, B. Badban, J.C. Pol, van de

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	36
Publication status	Published - 2003

Name	CWI report. SEN-R : software engineering
Volume	0308
ISSN (Print)	1386-369X

Cite this

TY - BOOK

T1 - Verifying a sliding window protocol in mu-CRL

AU - Fokkink, W.J.

AU - Groote, J.F.

AU - Pang, J.

AU - Badban, B.

AU - Pol, van de, J.C.

PY - 2003

Y1 - 2003

UR - http://oai.cwi.nl/oai/asset/4122/04122D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Verifying a sliding window protocol in mu-CRL

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -