The following pages link to Multi-valued model checking games (Q414899):
Displaying 6 items.
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Product line process theory (Q898612) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
