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