Title of article
Timed tree automata with an application to temporal logic
Author/Authors
Salvatore La Torre and Margherita Napoli ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
28
From page
89
To page
116
Journal title
acta Informatica
Serial Year
2001
Journal title
acta Informatica
Record number
287726
Link To Document