Automatic verification of finite-state concurrent systems using temporal logic specifications (Q55918946)
Language:
Current Data About Automatic verification of finite-state concurrent systems using temporal logic specifications
(P31) (Q13442814)

(P304) 244-263

(P407) (Q1860)

(P433) 2

(P478) 8

(P577) Tuesday, April 1, 1986

(P921) (Q184199)
(P887)

(Q781833)
(P887)

(P1433) (Q4650737)

(P1476) "Automatic verification of finite-state concurrent systems using temporal logic specifications" (language: en)

(P2093) E. M. Clarke
(P1545) 1

E. A. Emerson
(P1545) 2

A. P. Sistla
(P1545) 3

(P6104) (Q8487137)