Analyzing Timed Systems Using Tree Automata.

S. Akshay Paul Gastin Shankara Narayanan Krishna

Published in: CoRR (2016)

Keyphrases

tree automata
information retrieval
database
databases
expert systems
data warehouse
natural language processing
computational models