000 00575nab a2200157Ia 4500
008 230808s1991 |||||||f |||| 00| 0 eng d
100 _aBelil, Fevzi
_9790826
100 _aGrosspIETsch, Karl E.
_9790827
245 0 _aSpecification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study
300 _a513-526 p.
650 _aSoftware Specification
_9769116
650 _aPetri Nets
_9274323
650 _aFault Tolerance
_9165128
773 _d1991
_tIEEE Transactions on Software Engineering
_x00985589
942 _cART
_o51
_pABUL KALAM Library
999 _c749913
_d749913