R. Devarapalli

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

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) (1994)
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA (1993)