×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [stateex p]
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications 1
214 views
Authors: E.M. Clarke , E.A. Emerson, A. P. Sistla Presented by Anjana Chatta
58 views