SPECIAL ISSUE ON PROTOCOL ENGINEERING - INTRODUCTION

被引：0

作者：

LIU, MT

机构：

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1991年 / 40卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：373 / 375

页数：3

相关论文

共 3 条

[1] Holzmann G.J., 1991, DESIGN VALIDATION CO
[2] Liu M.T., 1989, ADV COMPUT, V29, P79
[3] LIU MT, 1990, 1990 P INT COMP S DE, P82