Verification of a sliding window protocol in µCRL and PVS

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

Research output: Contribution to journal › Article › Academic › peer-review

27 Citations (Scopus)

Access to Document

@article{d67225b37f0d48f08893a7cd8169ec4f,

title = "Verification of a sliding window protocol in µCRL and PVS",

author = "B. Badban and W.J. Fokkink and J.F. Groote and J. Pang and \{Pol, van de\}, J.C.",

year = "2005",

doi = "10.1007/s00165-005-0070-0",

language = "English",

volume = "17",

pages = "342--388",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc.",

number = "3",

}

TY - JOUR

T1 - Verification of a sliding window protocol in µCRL and PVS

AU - Badban, B.

AU - Fokkink, W.J.

AU - Groote, J.F.

AU - Pang, J.

AU - Pol, van de, J.C.

PY - 2005

Y1 - 2005

U2 - 10.1007/s00165-005-0070-0

DO - 10.1007/s00165-005-0070-0

M3 - Article

SN - 0934-5043

VL - 17

SP - 342

EP - 388

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -