On Recognizable Timed Languages.

Oded Maler Amir Pnueli

Published in: FoSSaCS (2004)

Keyphrases

expressive power
petri net
picture languages
language independent
finite automata
databases
case study
image sequences
cross lingual
discrete event
language identification
real world
multiscale
relational databases
multi lingual