Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen. Protocol validation using a pumping-based approach. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. pages 339-344, IEEE, 1991. [doi]
@inproceedings{TaiHC91,
title = {Protocol validation using a pumping-based approach},
author = {Kuo-Chung Tai and Hong-Fa Ho and Gen-Huey Chen},
year = {1991},
doi = {10.1109/CMPSAC.1991.170200},
url = {http://dx.doi.org/10.1109/CMPSAC.1991.170200},
researchr = {https://researchr.org/publication/TaiHC91},
cites = {0},
citedby = {0},
pages = {339-344},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991},
publisher = {IEEE},
isbn = {0-8186-2152-4},
}