Towards analyzing and synthesizing protocols (1980)

by P Zafiropulo, C West, H Rudin, D Cowan, D Brand
Venue:IEEE Transactions on Communications