×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [branchingtime temporal]
Formal Analysis and Verification of Real-Time Systems Albert M. K. Cheng Real-Time Systems Laboratory University of Houston
216 views
10/19/2015COSC-4301-01, Lecture 171 Real-Time Systems, COSC-4301-01, Lecture 17 Stefan Andrei
221 views
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications 1
221 views
Model Checking Logics of Strategic Ability: Complexity
32 views
Authors: E.M. Clarke , E.A. Emerson, A. P. Sistla Presented by Anjana Chatta
59 views