Formalization and Validation of the Radio Link (1997)

by M J Ferguson
Venue:Protocol RLP1,” Computer Networks and ISDN Systems