Learning and testing the bounded retransmission protocol (0)

by F Aarts, H Kuppens, G J Tretmans, F W Vaandrager, S Verwer
Venue:University of Maryland, College Park, USA