Pages that link to "Item:Q5897779"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897779):
Displayed 10 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- Effective definability of the reachability relation in timed automata (Q2338218) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- R-Automata (Q3541011) (← links)
- (Q5002803) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- Universality of R-automata with Value Copying (Q5179055) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)