The following publications are possibly variants of this publication:
- Verifying a Sliding Window Protocol in µCRLWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol. amast 2004: 148-163 [doi]
- Verification of a sliding window protocol in µCRL and PVSBahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol. fac, 17(3):342-388, 2005. [doi]