| Formal Description and Verification of a Transport Protocol for Local Networks |
| |
| 引用本文： | 李腊元. Formal Description and Verification of a Transport Protocol for Local Networks[J]. 计算机科学技术学报, 1990, 5(1): 64-70. DOI: 10.1007/BF02946565 |
| |
| 作者姓名： | 李腊元 |
| |
| 作者单位： | Wuhan University |
| |
| 摘 要： |
|
| 关 键 词： | 局域网 传送协议 形式描述 计算机网络 |
Formal description and verification of a transport protocol for local networks |
| |
| Layuan Li. Formal description and verification of a transport protocol for local networks[J]. Journal of Computer Science and Technology, 1990, 5(1): 64-70. DOI: 10.1007/BF02946565 |
| |
| Authors: | Layuan Li |
| |
| Affiliation: | 1. Wuhan University of Water Transportation Engineering, Wuhan, China
|
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
