https://scholars.lib.ntu.edu.tw/handle/123456789/488299
Title: | Protocol validation using a pumping-based approach. | Authors: | Tai, Kuo-Chung Ho, Hong-Fa GEN-HUEY CHEN |
Issue Date: | 1991 | Start page/Pages: | 339-344 | Source: | Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991 | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/488299 | DOI: | 10.1109/CMPSAC.1991.170200 |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.