Title of article :
A Temporal Logic for Proving Properties of Topologically General Executions
Author/Authors :
Rachel Ben-Eliyahu، نويسنده , , Menachem Magidor، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Pages :
18
From page :
127
To page :
144
Journal title :
Information and Computation
Serial Year :
1996
Journal title :
Information and Computation
Record number :
261623
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=261623
بازگشت