E. Timothy Morgan

Publication Activity (10 Years)

Years Active: 1985-1987
Publications (10 Years): 0

Publications

E. Timothy Morgan, Rami R. Razouk
Interactive State-Space Analysis of Concurrent Systems. IEEE Trans. Software Eng. 13 (10) (1987)
E. Timothy Morgan, Rami R. Razouk
Computer-aided analysis of concurrent systems. PSTV (1985)