![](/img/cover-not-exists.png)
Timed tree automata with an application to temporal logic
Salvatore La Torre, Margherita NapoliVolume:
38
Language:
english
Pages:
28
DOI:
10.1007/s002360100067
Date:
November, 2001
File:
PDF, 210 KB
english, 2001