ADEQUACY PROPERTIES OF PATH PROGRAMS

被引：7

作者：

BEST, E ^{[1
]}

机构：

[1] UNIV NEWCASTLE UPON TYNE,COMP LAB,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND

来源：

关键词：

D O I：

10.1016/0304-3975(82)90020-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：149 / 171

页数：23

共 16 条

[1]

BEST E, 1980, LECTURE NOTES COMPUT, V84, P291

[2]

BRAUER W, 1980, LECTURE NOTES COMPUT, V84

[3]

CAMPBELL R, 1974, LECTURE NOTES COMPUT, V16

[4]

Genrich H. J., 1973, Acta Informatica, V2, P143, DOI 10.1007/BF00264027

[5]

Genrich HJ., 1980, LECTURE NOTES COMPUT, P519

[6]

HACK M, 1972, TR94 MAC MIT PROJ

[7]

JANTZEN M, 1980, LECTURE NOTES COMPUT, V84, P165

[8]

JENSEN K, 1980, LECT NOTES COMPUTER, V88, P348

[9]

LAUER PE, 1979, ACTA INFORM, V12, P109, DOI 10.1007/BF00266047

[10]

LAUER PE, 1978, TR143 U NEWC UP TYN