Authors: CHANG GJ HO PH

Citation: Gj. Chang et Ph. Ho, THE BETA-ASSIGNMENT PROBLEMS, European journal of operational research, 104(3), 1998, pp. 593-600

Authors: HENZINGER TA HO PH WONGTOI H

Citation: Ta. Henzinger et al., ALGORITHMIC ANALYSIS OF NONLINEAR HYBRID SYSTEMS, IEEE transactions on automatic control, 43(4), 1998, pp. 540-554

Authors: CHANG GJ HO PH

Citation: Gj. Chang et Ph. Ho, THE BETA-ASSIGNMENT PROBLEM IN GENERAL GRAPHS, Computers & operations research, 24(8), 1997, pp. 757-765

Authors: ALUR R HENZINGER TA HO PH

Citation: R. Alur et al., AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS, IEEE transactions on software engineering, 22(3), 1996, pp. 181-201

Authors: ALUR R COURCOUBETIS C HALBWACHS N HENZINGER TA HO PH NICOLLIN X OLIVERO A SIFAKIS J YOVINE S

Citation: R. Alur et al., THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 3-34