Mohamed G. Gouda;C. H. Youn
-;-
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications