TY  - SER
AU  - Huang, Chung-Ming
AU  - Hsu, Jenq-Muh
TI  - An Incremental Maximal Progress Protocol Verification  for  Ecfsm-Based Protocols
KW  - Computer Networks
KW  -  for mal Methods
KW  - Protocol Engineering
ER  -