Pages that link to "Item:Q1662534"
From MaRDI portal
The following pages link to Extended dependency graphs and efficient distributed fixed-point computation (Q1662534):
Displayed 4 items.
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- Elimination of detached regions in dependency graph verification (Q6049047) (← links)
- On the Verification of Weighted Kripke Structures Under Uncertainty (Q6104802) (← links)