| 000 | 00406nab a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2003 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aZang, Xinyu _9771048 |
||
| 245 | 2 | _aA Bdd-Based Algorithm for Analysis of Multiscale Systems with Multistate Components | |
| 300 | _a1608-1618 p. | ||
| 650 |
_aBinary Decision Diagtam _9804976 |
||
| 773 |
_d2003 _tIEEE TransactionsonComputers _x00189340 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c762196 _d762196 |
||