Invariant-Based Verification of a Distributed Deadlock Detection Algorithm

By: Material type: ArticleArticleDescription: 789-799 pSubject(s): In: IEEE Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.17, No.08 (Aug. 1991) Available