The following pages link to Computer Science Logic (Q5311265):
Displaying 5 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)