MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Automatic verification of finite-state concurrent systems using temporal logic specifications
by E. M. Clarke, E. A. Emerson, A. P. Sistla — 1986 — ACM Transactions on Programming Languages and Systems
…Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications E. M…
Cited by 985 (56 self) – Add To MetaCart

unknown title
by P. Wolper, P. Godefroid, R. Gerth, R. Kuiper, D. Peled, W. Pencz
… Concurrent Systems Using Temporal Logic Specifications: A Practical Approach, ACM Transactions on Programming…
Add To MetaCart

unknown title
by unknown authors
… of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming…
Add To MetaCart

Automatic Verification of Hybrid Systems: An Audio Control Protocol
by Luis Ricardo Sierra Abbate
…. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB