Verifying a Sliding Window Protocol in mCRL

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)148-163
JournalLecture Notes in Computer Science
Publication statusPublished - 2004

Bibliographical note

Proceedings title: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Publisher: Springer
Editors: C. Rattray, S. Maharaj, C. Shankland

Cite this