Authors: CHEUNG TY ZENG W

Citation: Ty. Cheung et W. Zeng, INVARIANT-PRESERVING TRANSFORMATIONS FOR THE VERIFICATION OF PLACE TRANSITION SYSTEMS/, IEEE transactions on systems, man and cybernetics. Part A. Systems and humans, 28(1), 1998, pp. 114-121

Authors: DAI Z CHEUNG TY

Citation: Z. Dai et Ty. Cheung, A NEW HEURISTIC APPROACH FOR THE P-MEDIAN PROBLEM, The Journal of the Operational Research Society, 48(9), 1997, pp. 950-960

Authors: CHEUNG TY

Citation: Ty. Cheung, PETRI NETS FOR PROTOCOL ENGINEERING, Computer communications, 19(14), 1996, pp. 1250-1257

Authors: LEUNG KF LEE KW CHEUNG TY LEUNG LC LAU KW

Citation: Kf. Leung et al., LAPAROSCOPIC CHOLECYSTECTOMY - 2-PORT TECHNIQUE, Endoscopy, 28(6), 1996, pp. 505-507

Authors: CHEUNG TY YE XM

Citation: Ty. Cheung et Xm. Ye, A FAULT-DETECTION APPROACH TO THE CONFORMANCE TESTING OF NONDETERMINISTIC SYSTEMS, Journal of parallel and distributed computing, 28(1), 1995, pp. 94-100