AN IMPROVED PROTOCOL REACHABILITY ANALYSIS TECHNIQUE

[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]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (01) : 91 - 99

[15] SCATTER STORAGE TECHNIQUES [J]. COMMUNICATIONS OF THE ACM, 1968, 11 (01) : 38 - &

[16] NEEDHAM RN, 1982, CAMBRIDGE DISTRIBUTE

[17] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) : 624 - 631

[18] AUTOMATED VALIDATION OF A COMMUNICATIONS PROTOCOL - CCITT X.21 RECOMMENDATION [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1978, 22 (01) : 60 - 71

[19] GENERAL TECHNIQUE FOR COMMUNICATIONS PROTOCOL VALIDATION [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1978, 22 (04) : 393 - 404

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

[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]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (01) : 91 - 99

[15] SCATTER STORAGE TECHNIQUES [J]. COMMUNICATIONS OF THE ACM, 1968, 11 (01) : 38 - &

[16] NEEDHAM RN, 1982, CAMBRIDGE DISTRIBUTE

[17] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) : 624 - 631

[18] AUTOMATED VALIDATION OF A COMMUNICATIONS PROTOCOL - CCITT X.21 RECOMMENDATION [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1978, 22 (01) : 60 - 71

[19] GENERAL TECHNIQUE FOR COMMUNICATIONS PROTOCOL VALIDATION [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1978, 22 (04) : 393 - 404

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