A reduced incremental ECFSM-based protocol verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang. A reduced incremental ECFSM-based protocol verification. In Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993. pages 166-172, IEEE, 1993. [doi]

This author has not been identified. Look up 'Chung-Ming Huang' in GoogleThis author has not been identified. Look up 'Hsin-Yi Lai' in GoogleThis author has not been identified. Look up 'Duen-Tay Huang' in Google

runs on WebDSL