Login / Signup
Expressiveness of Hybrid Temporal Logic on Data Words.
Ahmet Kara
Thomas Schwentick
Published in:
Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
</>
temporal logic
state space
expressive power