Timed automata and additive clock constraints
type: Item
instance of: scholarly article
title: Timed automata and additive clock constraints
zbMATH Open document ID: 0953.68565
DOI: 10.1016/S0020-0190(00)00075-2
author: Béatrice Bérard
author: Catherine Dufourd
published in: Information Processing Letters
publication date: 2000-10-26T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1521628
zbMATH Keywords: real-time systems
zbMATH Keywords: timed automata
zbMATH Keywords: decidability of emptiness
MaRDI profile type: Publication
cites work: Q4038702
cites work: A theory of timed automata
cites work: Untiming timed languages
cites work: Q4264103
cites work: Q2754107
cites work: Q4503930
cites work: Q4234084
cites work: Q5590814
full work available at URL: s0020-0190(00)00075-2
OpenAlex ID: W2039039881
description: scientific article; zbMATH DE number 1521628