Title of article

Designing bug-free protocols with SPIN

Author/Authors

Gerard J. Holzmann، نويسنده ,

Issue Information

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

Pages

9

From page

97

To page

105

Keywords

Protocol Design , spin , Robust software

Journal title

Computer Communications

Serial Year

1997

Journal title

Computer Communications

Record number

308663