Pages that link to "Item:Q1399962"
From MaRDI portal
The following pages link to On the non-termination of MDG-based abstract state enumeration (Q1399962):
Displaying 4 items.
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- LCF-style Platform based on Multiway Decision Graphs (Q4982624) (← links)
- A New Approach for the Construction of Multiway Decision Graphs (Q5505605) (← links)
