Probabilistic Timed Protocol Verification for the Extended State Transition Model. - Chung-Ming Huang; Shiun-Wei Lee; Jenq-Muh Hsu (ICPADS, 1994)

Timed protocol verification for Estelle-specified protocols. - Chung-Ming Huang; Shiun-Wei Lee (Comput. Commun. Rev., 1995)

ECFSM-Based Probabilistic Protocol Verification. - Chung-Ming Huang; Jenq-Muh Hsu; Shiun-Wei Lee (Inf. Process. Lett., 1995)

Probabilistic fuzzy timed protocol verification. - Chung-Ming Huang; Jenq-Muh Hsu; Shiun-Wei Lee (Comput. Commun., 1996)