Jan L. A. van de Snepscheut. The Sliding-Window Protocol Revisited. Formal Asp. Comput., 7(1):3-17, 1995.
@article{Snepscheut95, title = {The Sliding-Window Protocol Revisited}, author = {Jan L. A. van de Snepscheut}, year = {1995}, tags = {protocol}, researchr = {https://researchr.org/publication/Snepscheut95}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {7}, number = {1}, pages = {3-17}, }