Wael M. Elseaidy

	1997
4		Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29(1-2): 99-122 (1997)
	1995
3		Wael M. Elseaidy, Rance Cleaveland: A tool for modeling and verifying real-time systems. ICECCS 1995: 70-
	1994
2		Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Verifying an Intelligent Structural Control System: A Case Study. IEEE Real-Time Systems Symposium 1994: 271-275
	1992
1		Wael M. Elseaidy: Static and dynamic analysis of real-time systems. ACM Southeast Regional Conference 1992: 368-376

Coauthor Index

1	John W. Baugh Jr.	[2] [4]
2	Rance Cleaveland	[2] [3] [4]