Pages that link to "Item:Q3510804"
From MaRDI portal
The following pages link to Latticed Simulation Relations and Games (Q3510804):
Displaying 5 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- A lattice-theoretic approach to a class of dynamic games (Q1825778) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)