Towards Analyzing and Synthesizing Protocols
- P. Pitrozafiropulo
- Colin H. West
- et al.
- 1980
- IEEE Transactions on Communications
Publications
Date
Featured collections
Popular topics
14 results for Colin H. West
Executable Description and Validation of SNA
- Gary D. Schultz
- David B. Rose
- et al.
- 1980
- IEEE Transactions on Communications
An Automated Technique of Communications Protocol Validation
- Colin H. West
- 1978
- IEEE Transactions on Communications
Automated protocol validation: One chain of development
- Harry Rudin
- Colin H. West
- et al.
- 1978
- Computer Networks