BRANCHING TIME TEMPORAL LOGIC

被引：24

作者：

EMERSON, EA ^{[1
]}

SRINIVASAN, J ^{[1
]}

机构：

[1] EINDHOVEN UNIV TECHNOL,DEPT MATH & COMP SCI,5600 MB EINDHOVEN,NETHERLANDS

来源：

关键词：

D O I：

10.1007/BFb0013022

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：123 / 172

页数：50

共 91 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2]

[Anonymous], [No title captured]

[3]

ATTIE PC, 1989, IN PRESS 16TH P ANNA

[4]

BARRINGER H, 1984, 16TH P ACM S THEOR C, P51

[5] THE TEMPORAL LOGIC OF BRANCHING TIME [J].

BENARI, M ;

PNUELI, A ;

MANNA, Z .

[6]

BENARI M, 1981, LNCS, V115, P249

[7]

BENARI M, 1981, 8TH ANN ACM S PRINC, P164

[8]

Browne M. C., 1986, Proceedings of the Symposium on Logic in Computer Science (Cat. No.86CH2321-8), P260

[9]

BUCHI JR, 1962, 1960 P INT C STANF U

[10]

Clarke E.M., 1982, LECTURE NOTES COMPUT, V131, P52, DOI DOI 10.1007/BFB0025774