The following pages link to (Q4138073):
Displayed 5 items.
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Algorithmic analysis of programs with well quasi-ordered domains. (Q1854355) (← links)
- Automatic construction of test sets: Theoretical approach (Q4560358) (← links)
- Deciding properties of integral relational automata (Q4632414) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)