The following pages link to (Q4807830):
Displayed 12 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Counting and generating permutations in regular classes (Q727971) (← links)
- A Kleene theorem for splitable signals (Q1029089) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Equational theories for automata (Q2074221) (← links)
- Fuzzy regular languages over finite and infinite words (Q2493980) (← links)
- (Q2842862) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)