VERIFICATION OF HDLC

被引：12

作者：

BRAND, D

JOYNER, WH

机构：

来源：

关键词：

D O I：

10.1109/TCOM.1982.1095558

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：1136 / 1142

页数：7

共 24 条

[1]

BOCHMAN GV, 1977, 1977 P IFIP C, P229

[2]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[3] VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION [J].

BRAND, D ;

JOYNER, WH .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :351-360

[4]

CARTER WC, 1977, IBM RC6361 TJ WATS R

[5]

CROCKER SD, 1977, USC ISIRR7761 INF SC

[6] MODELING AND VERIFICATION OF END-TO-END TRANSPORT PROTOCOLS [J].

DANTHINE, A ;

BREMER, J .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5) :381-395

[7]

GOOD DI, 1979, 6TH P ACM S PRINC PR, P42

[8]

HAILPERN BT, 1980, 1980 P TRENDS APPL C, P18

[9]

HANTLER, 1976, ACM COMPUT SURV, V8, P331

[10]

JOYNER WH, 1978, 3RD P JER C INF TECH, P515