| 000 | 00500nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1998 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHuang, Yen-Min _9774327 |
||
| 100 |
_aRavishankar, Chinya V. _9774330 |
||
| 245 | 0 | _aConstructive Protocol Specification Using Cicerro | |
| 300 | _a252-268 p. | ||
| 650 |
_aProtocol _9750376 |
||
| 650 |
_aProtocol Specification _9776975 |
||
| 650 |
_aEvent-Driven _9694641 |
||
| 773 |
_d1998 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c743777 _d743777 |
||