[ACM Press the ACM SIGCOMM symposium - Montréal, Quebec, Canada, United States (1984.06.06-1984.06.08)] Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols tutorials & symposium - SIGCOMM '84 - A method of automatic proof for the specification and verification of protocols

• 作者Cavalli, Ana R.
• 文件大小455.23KB
• 发表时间1984
• DOI10.1145/800056.802066
• 页码100-106