Title of article

Reasoning about Infinite Computations

Author/Authors

Vardi M. Y.، نويسنده , , Wolper P.، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1994

Pages

37

From page

1

To page

37

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261441