Expressiveness of Metric Modalities for Continuous Time

DOI10.1007/11753728_23zbMath1185.03021arXivcs/0611119OpenAlexW2120376141MaRDI QIDQ3434696

Alexander Rabinovich, Joram Hirschfeld

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0611119

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

The compound interest in relaxing punctuality

This page was built for publication: Expressiveness of Metric Modalities for Continuous Time