D. New;P. D. Amer
-;-
Broadcast Channels in Estelle
IEEE Transactions on Computers - Special issue on protocol engineering
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review