Pages that link to "Item:Q1662534"
From MaRDI portal
The following pages link to Extended dependency graphs and efficient distributed fixed-point computation (Q1662534):
Displaying 5 items.
- An assessment of assignment schemes for dependency graphs (Q673840) (← links)
- Distributed computation of fixed points on dependency graphs (Q1660777) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- On the Verification of Weighted Kripke Structures Under Uncertainty (Q6104802) (← links)