Pages that link to "Item:Q5491877"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5491877):
Displaying 6 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Computing Game Values for Crash Games (Q3510795) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)