R. Devarapalli

According to our database¹, R. Devarapalli authored at least 2 papers between 1993 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

1993

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993