Tai, K. C.K. C.TaiHo, H. F.H. F.Ho陳健輝Chen, Gen-HueyGen-HueyChen2009-02-032018-07-052009-02-032018-07-051991http://ntur.lib.ntu.edu.tw//handle/246246/118702en-USProtocol Validation Using a Pumping-Base Approachconference paper