Towards analyzing and synthesizing protocols (1980)

by P ZAFIROPULO, C H WEST, H RUDIN, D D COWAN, D BRAND
Venue:IEEE Trans. Commun. COM-28