scientific article; zbMATH DE number 1256652
From MaRDI portal
Publication:4230338
zbMath0977.68548MaRDI QIDQ4230338
Thomas A. Henzinger, Rajeev Alur
Publication date: 17 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Zeno, Hercules, and the Hydra ⋮ Timed hyperproperties ⋮ Removing ε-transitions in timed automata ⋮ Untiming timed languages ⋮ The expressive power of clocks ⋮ On the expressiveness of TPTL and MTL ⋮ Timer formulas and decidable metric temporal logic ⋮ A real-time interval logic and its decision procedure ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Unnamed Item ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing ⋮ Event-clock automata: a determinizable class of timed automata ⋮ Model-checking Timed Temporal Logics ⋮ Realizability of Real-Time Logics
This page was built for publication:
