scientific article; zbMATH DE number 1405657
From MaRDI portal
Publication:4938638
zbMath0939.03023MaRDI QIDQ4938638
Alexander Rabinovich, Joram Hirschfeld
Publication date: 5 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Metric temporal logic revisited ⋮ Continuous time temporal logic with counting ⋮ Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities ⋮ Complexity of metric temporal logics with counting and the Pnueli modalities ⋮ Timer formulas and decidable metric temporal logic ⋮ A first order logic for specification of timed algorithms: Basic properties and a decidable class ⋮ Decidable metric logics ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics ⋮ Decidable verification for reducible timed automata specified in a first order logic with time
This page was built for publication:
