Pages that link to "Item:Q1129268"
From MaRDI portal
The following pages link to Timed automata and recognizability (Q1129268):
Displayed 5 items.
- Timed automata and recognizability (Q1129268) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- History-deterministic timed automata are not determinizable (Q6173103) (← links)