| 000 | 00509nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1989 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aSidhu, Deepinder P. _9784279 |
||
| 100 |
_aLeung, Ting-Kau _9784281 |
||
| 245 | 0 | _a Formal Methods for Protocol Testing a Detailed Study | |
| 300 | _a413-426 p. | ||
| 650 |
_a Formal Models _9699744 |
||
| 650 |
_aState Transition Analysis _9713063 |
||
| 650 |
_aProtocol _9750376 |
||
| 773 |
_d1989 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c746803 _d746803 |
||