000 | 00519nab a2200157Ia 4500 | ||
---|---|---|---|
008 | 230808s1999 |||||||f |||| 00| 0 eng d | ||
100 |
_aSulilvan, Gregory F. _9779391 |
||
100 |
_aMasson, Gerald M. _9779393 |
||
245 | 0 | _aApproximate Correctness-Checking of Computational Results | |
300 | _a338-350 p. | ||
650 |
_aFault Tolerance _9165128 |
||
650 |
_aSoftware Reliability _9763364 |
||
650 |
_aBranch and Bound Algorithm _9774967 |
||
773 |
_d1999 _tIEEE Transactions on Reliability _x00189529 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c744760 _d744760 |