@dblp

Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.

, and . IEEE Trans. Software Eng., 17 (6): 513-526 (1991)

Links and resources

Tags