A logical characterization of data languages.
type: Item
instance of: scholarly article
title: A logical characterization of data languages.
zbMATH Open document ID: 1042.68544
DOI: 10.1016/S0020-0190(02)00229-6
author: Patricia Bouyer
published in: Information Processing Letters
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 1856456
zbMATH Keywords: Real-time systems
zbMATH Keywords: Formal languages
describes a project that uses: Uppaal
MaRDI profile type: Publication
cites work: Model-checking in dense real-time
cites work: Timed regular expressions
cites work: Q4038702
cites work: Event-clock automata: a determinizable class of timed automata
cites work: Q2733893
cites work: Q5525343
cites work: Q4938626
cites work: Q4791839
cites work: Uppaal in a nutshell
cites work: Q4318987
cites work: Q3123633
cites work: Q4714446
full work available at URL: s0020-0190(02)00229-6
OpenAlex ID: W2014246868
description: scientific article; zbMATH DE number 1856456