The expressive power of clocks
type: Item
instance of: scholarly article
title: The expressive power of clocks
zbMATH Open document ID: 1412.68131
DOI: 10.1007/3-540-60084-1_93
author: Peter W. Kopke
author: Howard Wong-Toi
author: Thomas A. Henzinger
published in: Automata, Languages and Programming
publication date: 2019-01-10T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6999451
zbMATH Keywords: expressive power
zbMATH Keywords: regular language
zbMATH Keywords: finite automaton
zbMATH Keywords: labeled transition system
zbMATH Keywords: acceptance condition
MaRDI profile type: Publication
full work available at URL: 3-540-60084-1 93
OpenAlex ID: W1690546704
cites work: A theory of timed automata
cites work: Q4230338
cites work: Real-time logics: Complexity and expressiveness
cites work: Real-time system = discrete system + clock variables
cites work: Sooner is safer than later
cites work: What good are digital clocks?
cites work: Symbolic model checking for real-time systems
cites work: Q4385530
description: scientific article; zbMATH DE number 6999451