Pages that link to "Item:Q1884908"
From MaRDI portal
The following pages link to On iterating linear transformations over recognizable sets of integers (Q1884908):
Displaying 9 items.
- Algebraic program analysis (Q832153) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
- A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
- Iterating Octagons (Q3617767) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- (Q5092319) (← links)
- Accelerating Interpolation-Based Model-Checking (Q5458343) (← links)
