| |
| 1994 | ||
|---|---|---|
| 2 | EE | 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 | EE | 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 |
| 1 | Ugo A. Buy | [1] [2] |
| 2 | Sastry Duri | [1] [2] |
| 3 | Sol M. Shatz | [1] [2] |