Login / Signup

Analyzing Timed Systems Using Tree Automata.

S. AkshayPaul GastinShankara Narayanan Krishna
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases
  • tree automata