The following pages link to (Q3972532):
Displaying 9 items.
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← links)
- Static analysis for state-space reductions preserving temporal logics (Q1878929) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic (Q3321430) (← links)
- (Q3812210) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- (Q4733381) (← links)
- (Q5151002) (← links)