The SDL specification of the sliding window protocol revisited

Christian Facchi, Markus Haubner, Ursula Hinkel. The SDL specification of the sliding window protocol revisited. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 507, Elsevier, 1997.

@inproceedings{FacchiHH97,
  title = {The SDL specification of the sliding window protocol revisited},
  author = {Christian Facchi and Markus Haubner and Ursula Hinkel},
  year = {1997},
  tags = {protocol},
  researchr = {https://researchr.org/publication/FacchiHH97},
  cites = {0},
  citedby = {0},
  pages = {507},
  booktitle = {SDL  97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings},
  editor = {Ana R. Cavalli and Amardeo Sarma},
  publisher = {Elsevier},
}