The following pages link to (Q5422299):
Displaying 5 items.
- Fault localization of timed automata using maximum satisfiability (Q2026559) (← links)
- Verification for Timed Automata extended with Unbounded Discrete Data Structures (Q3196352) (← links)
- (Q5472953) (← links)
- Lazy Reachability Checking for Timed Automata with Discrete Variables (Q5883582) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)