TY - CHAP A1 - Facchi, Christian A1 - Haubner, Markus A1 - Hinkel, Ursula ED - Cavalli, Ana ED - Sarma, Amardeo T1 - The SDL Specification of the Sliding Window Protocol Revisited T2 - SDL '97: Time for Testing: SDL, MSC and Trends UR - https://doi.org/10.1016/B978-044482816-3/50034-4 Y1 - 1997 UR - https://doi.org/10.1016/B978-044482816-3/50034-4 SN - 978-0-444-82816-3 SP - 507 EP - 519 PB - Elsevier CY - Amsterdam ER -