Pages that link to "Item:Q5114831"
From MaRDI portal
The following pages link to Forward analysis for WSTS. III: Karp-Miller trees (Q5114831):
Displaying 5 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Commodification of accelerations for the Karp and Miller construction (Q2058566) (← links)
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465861) (← links)