| 000 | 00441nab a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1982 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHolzmann, Gerard J. _9779061 |
||
| 245 | 2 | _aA Theory for Protocol Validation | |
| 300 | _a730-738 p. | ||
| 650 |
_aDistributed Systems _9715815 |
||
| 650 |
_aMessage Passing _9713915 |
||
| 650 |
_aProtocol Analysis _9773955 |
||
| 773 |
_d1982 _tIEEE Transactions on Computers _x00189340 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c746655 _d746655 |
||