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