The following pages link to (Q4938632):
Displayed 5 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)