Title of article

A Partial Approach to Model Checking

Author/Authors

Godefroid P.، نويسنده , , Wolper P.، نويسنده ,

Issue Information

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

Pages

22

From page

305

To page

326

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261390