A correctness proof of a one-bit sliding window protocol in CRL (1993)

by M. A. Bezem , J. F. Groote
Citations:13 - 5 self