Title of article
Real-Time Logics: Complexity and Expressiveness
Author/Authors
Alur R.، نويسنده , , Henzinger T. A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
43
From page
35
To page
77
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261316
Link To Document