Title of article

Probabilistic Verification

Author/Authors

Pnueli A.، نويسنده , , Zuck L. D.، نويسنده ,

Issue Information

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

Pages

29

From page

1

To page

29

Journal title

Information and Computation

Serial Year

1993

Journal title

Information and Computation

Record number

261305