Modelling and Verifying a Bounded Retransmission Protocol

G.J. Tretmans, P.R. d' Argenio, Joost P. Katoen, T.C. Ruys

Research output: Book/Report › Report › Professional

Original language	Undefined
Place of Publication	University of Twente, Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	14
Publication status	Published - 1996

Keywords

@book{b9db8d85d3f241b59400eecd115bdd82,

title = "Modelling and Verifying a Bounded Retransmission Protocol",

keywords = "METIS-119141",

author = "G.J. Tretmans and {d' Argenio}, P.R. and Katoen, {Joost P.} and T.C. Ruys",

note = "CTIT Technical Report Series, No. 96-22 ",

year = "1996",

language = "Undefined",

publisher = "Centre for Telematics and Information Technology (CTIT)",

address = "Netherlands",

}

TY - BOOK

T1 - Modelling and Verifying a Bounded Retransmission Protocol

AU - Tretmans, G.J.

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Ruys, T.C.

N1 - CTIT Technical Report Series, No. 96-22

PY - 1996

Y1 - 1996

KW - METIS-119141

M3 - Report

BT - Modelling and Verifying a Bounded Retransmission Protocol

PB - Centre for Telematics and Information Technology (CTIT)

CY - University of Twente, Enschede

ER -