scientific article; zbMATH DE number 1530301

zbMath0964.68076MaRDI QIDQ4514735

Massimiliano Goldwurm, Christian Choffrut

Publication date: 14 November 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

timed automata\(\omega\)-automatasimulation of automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

On the complexity of timed pattern matching, Updatable timed automata, A survey of timed automata for the development of real-time systems, An algebraic approach to data languages and timed languages, Deciding whether a relation defined in Presburger logic can be defined in weaker logics, Reachability relations of timed pushdown automata, Timed Automata with Integer Resets: Language Inclusion and Expressiveness, Model checking weighted integer reset timed automata, LTL over integer periodicity constraints, Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions, Removing All Silent Transitions from Timed Automata