Pages that link to "Item:Q3512441"
From MaRDI portal
The following pages link to DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC (Q3512441):
Displayed 5 items.
- An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- A tableau calculus for first-order branching time logic (Q4632314) (← links)
- (Q5009452) (← links)