An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols

By: Material type: ArticleArticleDescription: 600-615 pSubject(s): In: Proceedings ofNational Science Council, Republic of China
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.22, No.05 (Sep. 1998) Available