A reduced incremental ECFSM-based protocol verification.

Chung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang

Browse the full COMPSAC paper archive.