scientific article; zbMATH DE number 1405646
From MaRDI portal
Publication:4938626
zbMath0946.68094MaRDI QIDQ4938626
Patricia Bouyer, Antoine Petit
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An algebraic approach to data languages and timed languages ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Structural transformations for data-enriched real-time systems ⋮ Unnamed Item ⋮ Decomposition of timed automata for solving scheduling problems ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ A logical characterization of data languages. ⋮ A Survey on Analog Models of Computation