Past Pushdown Timed Automata.

Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer

Published in: CIAA (2001)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
theorem prover
first order logic
databases
real world
multiscale
theorem proving
real time systems
real time
information retrieval
search engine
low cost