Title of article

Model Checking Mobile Processes,

Author/Authors

Mads Dam، نويسنده ,

Issue Information

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

Pages

17

From page

35

To page

51

Journal title

Information and Computation

Serial Year

1996

Journal title

Information and Computation

Record number

261675