Pages that link to "Item:Q5703760"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703760):
Displaying 5 items.
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL (Q3183543) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Automated Technology for Verification and Analysis (Q5394176) (← links)
- Complementation of - \( \omega \)-regular expressions. I (Q6660265) (← links)