Veri cation in xesar of the sliding window protocol (1987)

by J L Richier, C Rodriguez, J Sifakis, J Voiron
Venue:In IFIP WG-6.1 7th. International Conference onProtocol Speci cation, Testing and Veri cation