000 00488nab a2200145Ia 4500
008 230808s2002 |||||||f |||| 00| 0 eng d
100 _aXu, J
_9728502
100 _aRandall, andrew A
_9816432
245 0 _aRigorous Development of An Embedded Fault -tolerant System Based on Coordinated Atomic Actions
300 _a164-179 p.
650 _aIntroduction
650 _aCa Actions and Production Cell Ii
_9826908
773 _d2002
_tIEEE TransactionsonComputers
_x00189340
942 _cART
_o51
_pABUL KALAM Library
999 _c775887
_d775887