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]
Abstract is missing.