Login / Signup
Automata-theoretic decision of timed games.
Marco Faella
Salvatore La Torre
Aniello Murano
Published in:
Theor. Comput. Sci. (2014)
Keyphrases
</>
automata theoretic
temporal logic
regular path queries
databases
database