Title of article
Timer formulas and decidable metric temporal logic
Author/Authors
Yoram Hirshfeld، نويسنده , , Alexander Rabinovich، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
31
From page
148
To page
178
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262283
Link To Document