R. Devarapalli

	1994
2		Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz: Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. ACM Trans. Softw. Eng. Methodol. 3(4): 340-380 (1994)
	1993
1		Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz: Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA 1993: 51-60

Coauthor Index

1	Ugo A. Buy	[1] [2]
2	Sastry Duri	[1] [2]
3	Sol M. Shatz	[1] [2]