Normal view
MARC view
Protocol Engineering (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)800630: Huang, Chung-Ming 859323, An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols