| |
| 1987 | ||
|---|---|---|
| 2 | E. Timothy Morgan, Rami R. Razouk: Interactive State-Space Analysis of Concurrent Systems. IEEE Trans. Software Eng. 13(10): 1080-1091 (1987) | |
| 1985 | ||
| 1 | E. Timothy Morgan, Rami R. Razouk: Computer-aided analysis of concurrent systems. PSTV 1985: 49-58 | |
| 1 | Rami R. Razouk | [1] [2] |