AN IMPROVED PROTOCOL REACHABILITY ANALYSIS TECHNIQUE

被引：46

作者：

HOLZMANN, GJ

机构：

来源：

关键词：

D O I：

10.1002/spe.4380180203

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：137 / 161

页数：25

共 24 条

[11]

HOLZMANN GJ, 1985, AT T TECHNICAL J, V64

[12]

HOLZMANN GJ, 1987, 7TH P IFIP WG 6 1 IN

[13]

HOLZMANN GJ, 1987, REACHABILITY ANAL UN

[14] DEVELOPMENT OF A SPELLING LIST [J].

MCILROY, MD .

[15] SCATTER STORAGE TECHNIQUES [J].

MORRIS, R .

[16]

NEEDHAM RN, 1982, CAMBRIDGE DISTRIBUTE

[17] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN [J].

VONBOCHMANN, G ;

SUNSHINE, CA .

WEST, CH ;

ZAFIROPULO, P .

[19] GENERAL TECHNIQUE FOR COMMUNICATIONS PROTOCOL VALIDATION [J].

WEST, CH .

[20]

WEST CH, 1982, 2ND P IFIP WG 6 1 IN, P361