| 000 | 00545nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1998 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHuang, Chung-Ming _9859323 |
||
| 100 |
_aHsu, Jenq-Muh _9859324 |
||
| 245 | 3 | _aAn Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols | |
| 300 | _a600-615 p. | ||
| 650 | _aComputer Networks | ||
| 650 |
_a for mal Methods _9787881 |
||
| 650 |
_aProtocol Engineering _9859327 |
||
| 773 |
_d1998 _tProceedings ofNational Science Council, Republic of China _x02556588 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c800630 _d800630 |
||