The following pages link to Computer Aided Verification (Q5900671):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Verification of scope-dependent hierarchical state machines (Q948087) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
