The following pages link to Bounded underapproximations (Q453533):
Displaying 4 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity (Q2799199) (← links)
- Unboundedness Problems for Languages of Vector Addition Systems. (Q5002804) (← links)
- Decidable models of integer-manipulating programs with recursive parallelism (Q5915566) (← links)
