Pages that link to "Item:Q5696929"
From MaRDI portal
The following pages link to A Logical Characterisation of Event Clock Automata (Q5696929):
Displayed 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm (Q2248059) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- Automata and Logics for Timed Message Sequence Charts (Q5458842) (← links)