AN ALGEBRAIC DESCRIPTION OF SYSTEM BEHAVIORS

被引：19

作者：

WINKOWSKI, J

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1982年 / 21卷 / 03期

关键词：

D O I：

10.1016/0304-3975(82)90079-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：315 / 340

页数：26

相关论文

共 12 条

[1]

BEST E, 1980, LECTURE NOTES COMPUT, V84

[2]

GENRICH HJ, 1980, LECTURE NOTES COMPUT, V84

[3]

HOLT AW, 1968, ADR606 APPL DAT RES

[4]

HOLT AW, 1968, USAF RADCTR68305 ROM

[5]

KORCZYNSKI W, 1980, ICS PAS400 REP

[6]

MARCHUT Z, 1981, THESIS

[7]

MAZURKIEWICZ A, 1977, DAIMI PB78 AARH U

[8]

PETRI CA, 1980, LECTURE NOTES COMPUT, V84

[9]

PETRI CA, 1979, 5TH P SCAND LOG S

[10]

PETRI CA, 1977, ISF775 GES MATH DAT