The following pages link to (Q4938626):
Displayed 9 items.
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- (Q2842862) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)