scientific article

zbMath1270.68118MaRDI QIDQ2842862

Eugene Asarin, Catalin Dima

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805188

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (4)

A Kleene-Schützenberger theorem for weighted timed automata ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting ⋮ A Survey on Analog Models of Computation

Cites Work

• A theory of timed automata
• Timed regular expressions
• Approximation and complexity: Liouvillean-type theorems for linear differential equations on an interval
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: