R. Devarapalli

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada

Sol M. Shatz, Sastry Duri, Ugo A. Buy, 1994, TSEM.

Using state space reduction methods for deadlock analysis in Ada tasking

Sol M. Shatz, Sastry Duri, Ugo A. Buy, 1993, ISSTA '93.