THOTL: A Timed Extension of HOTL.

Mercedes G. Merayo Manuel Núñez Ismael Rodríguez

Published in: TestCom/FATES (2008)

Keyphrases

petri net
search engine
markov chain
timed automata
databases
computer vision
information systems
knowledge base
search algorithm
special case