E. Timothy Morgan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index