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.

Abstract

Abstract is missing.