MODULAR VERIFICATION OF COMPUTER-COMMUNICATION PROTOCOLS

被引：54
|
作者：
HAILPERN, BT
OWICKI, SS
机构：
[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305
[2] STANFORD UNIV,COMP SCI LAB,STANFORD,CA 94305
来源：
IEEE TRANSACTIONS ON COMMUNICATIONS | 1983年 / 31卷 / 01期
关键词：
D O I：
10.1109/TCOM.1983.1095720
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：56 / 68
页数：13
相关论文
共 50 条
12345