| 000 | 00505nab a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2002 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHolzmann, Gerard J. _9779061 |
||
| 245 | 3 | _aAn Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction | |
| 300 | _a364-377 p. | ||
| 650 |
_a for mal Method _9789286 |
||
| 650 |
_aModel Creation _9827854 |
||
| 650 |
_aSoftware Testing _9727704 |
||
| 773 |
_d2002 _tIeee Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c776534 _d776534 |
||