Modelling and Verifying a Bounded Retransmission Protocol

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationProceedings of COST 247 Workshop on Applied Formal Methods in System Design
Place of PublicationUniversity of Maribor, Slovenia
Pages114-127
Number of pages15
Publication statusPublished - 18 Nov 1996

Keywords

  • METIS-120045

Cite this

d' Argenio, P. R., Katoen, J. P., Tretmans, G. J., & Ruys, T. C. (1996). Modelling and Verifying a Bounded Retransmission Protocol. In Proceedings of COST 247 Workshop on Applied Formal Methods in System Design (pp. 114-127). University of Maribor, Slovenia.
d' Argenio, P.R. ; Katoen, Joost P. ; Tretmans, G.J. ; Ruys, T.C. / Modelling and Verifying a Bounded Retransmission Protocol. Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia, 1996. pp. 114-127
@inproceedings{b4718500bd724b0690e5edebfd225005,
title = "Modelling and Verifying a Bounded Retransmission Protocol",
keywords = "METIS-120045",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and G.J. Tretmans and T.C. Ruys",
year = "1996",
month = "11",
day = "18",
language = "Undefined",
isbn = "86-435-0155-7",
pages = "114--127",
booktitle = "Proceedings of COST 247 Workshop on Applied Formal Methods in System Design",

}

d' Argenio, PR, Katoen, JP, Tretmans, GJ & Ruys, TC 1996, Modelling and Verifying a Bounded Retransmission Protocol. in Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia, pp. 114-127.

Modelling and Verifying a Bounded Retransmission Protocol. / d' Argenio, P.R.; Katoen, Joost P.; Tretmans, G.J.; Ruys, T.C.

Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia, 1996. p. 114-127.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Modelling and Verifying a Bounded Retransmission Protocol

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Tretmans, G.J.

AU - Ruys, T.C.

PY - 1996/11/18

Y1 - 1996/11/18

KW - METIS-120045

M3 - Conference contribution

SN - 86-435-0155-7

SP - 114

EP - 127

BT - Proceedings of COST 247 Workshop on Applied Formal Methods in System Design

CY - University of Maribor, Slovenia

ER -

d' Argenio PR, Katoen JP, Tretmans GJ, Ruys TC. Modelling and Verifying a Bounded Retransmission Protocol. In Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. University of Maribor, Slovenia. 1996. p. 114-127