|
ComputingReviews.com
|
Invariant-based verification of a distributed deadlock detection algorithm Kshemkalyani A., Singhal M. (ed) IEEE Transactions on Software Engineering17(9):789-799,1991.Type:Article |
|
|
|
Published By: IEEE Press |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|