Normal view
MARC view
Hsu, Jenq-Muh (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)800630: Huang, Chung-Ming 859323, An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols