Pages that link to "Item:Q685507"

The following pages link to A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507):

Displaying 4 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)
• Automated repair for timed systems (Q6108434) (← links)