The following pages link to Computer Science Logic (Q5311265):
Displaying 6 items.
- Moving in a network under random failures: a complexity analysis (Q433350) (← links)
- On sabotage games (Q1785757) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- A game theoretic approach to the analysis of dynamic networks (Q2864354) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Modal logics of sabotage revisited (Q4612406) (← links)