Protocol validation using a pumping-based approach.

Journal

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991

Pages

339-344

Date Issued

1991

Author(s)

Tai, Kuo-Chung

Ho, Hong-Fa

DOI

URI

URL

Type

conference paper