A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Formal Methods in Communication Protocol Design
1980
IRE Transactions on Communications Systems
Preserved Fulltext
serves as Vice-chairman (United States) of IFIP Working Group 6.4 on Local Computer Networks.
doi:10.1109/tcom.1980.1094685
fatcat:jrxd6je3hjgmraifmvyxxcbfke