Title of article
Reasoning in a Restricted Temporal Logic
Author/Authors
Sistla A. P.، نويسنده , , Zuck L. D.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
29
From page
167
To page
195
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261300
Link To Document