Chung-Ming Huang Jenq-Muh Hsu Shiun-Wei Lee ECFSM-Based Probabilistic Protocol Verification. 1-9 1995 55 Inf. Process. Lett. 1 db/journals/ipl/ipl55.html#HuangHL95 http://dx.doi.org/10.1016/0020-0190(95)00056-I