Login / Signup
An Upward Compatible Timed Extension to LOTOS.
Guy Leduc
Published in:
FORTE (1991)
Keyphrases
</>
petri net
data sets
databases
timed automata
database
search engine
computer vision
information systems
knowledge base
three dimensional
multi agent
data structure
search algorithm
lower bound