Pages that link to "Item:Q1630443"
From MaRDI portal
The following pages link to An abstraction-refinement methodology for reasoning about network games (Q1630443):
Displaying 7 items.
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- (Q5111251) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5856414) (← links)
- (Q5875381) (← links)