Pages that link to "Item:Q685507"
From MaRDI portal
The following pages link to A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507):
Displaying 5 items.
- Symbolic model checking: \(10^{20}\) states and beyond (Q1193587) (← links)
- A theory of timed automata (Q1322162) (← links)
- An improved algorithm for the evaluation of fixpoint expressions (Q1391536) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Automated repair for timed systems (Q6108434) (← links)