Howard Wong-Toi
发表
Fan Yang,
Scott B. Huffman,
April Rasala Lehman,
2007,
SIGIR.
Thomas A. Henzinger,
Howard Wong-Toi,
T. Henzinger,
1996,
Hybrid Systems.
Howard Wong-Toi,
1997,
Hybrid Systems.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
CAV.
David L. Dill,
Howard Wong-Toi,
1994
.
Howard Wong-Toi,
1998
.
Howard Wong-Toi,
H. Wong-Toi,
1995
.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1995,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Howard Wong-Toi,
2000,
HSCC.
Howard Wong-Toi,
G. Hoffmann,
H. Wong-Toi,
1992,
[1992] Proceedings Real-Time Systems Symposium.
Nicolas Halbwachs,
Rajeev Alur,
David L. Dill,
1992,
[1992] Proceedings Real-Time Systems Symposium.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
International Conference on Computer Aided Verification.
Howard Wong-Toi,
Michael J. Meyer,
H. Wong-Toi,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Tiziano Villa,
Maria Domenica Di Benedetto,
Alberto Sangiovanni-Vincentelli,
2000,
HSCC.
Thomas A. Henzinger,
Howard Wong-Toi,
1995,
Formal Methods for Industrial Applications.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
TACAS.
Alan J. Hu,
David L. Dill,
Howard Wong-Toi,
1991,
CAV.
Thomas A. Henzinger,
Peter W. Kopke,
Howard Wong-Toi,
1995,
ICALP.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
CAV.
Adnan Aziz,
Howard Wong-Toi,
Pei-Hsin Ho,
2005,
DAC '05.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1992,
CONCUR.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
International Journal on Software Tools for Technology Transfer.
Howard Wong-Toi,
Gerard Hoffmann,
H. Wong-Toi,
1992,
1992 American Control Conference.
Thomas A. Henzinger,
Stefan Kowalewski,
Howard Wong-Toi,
1998,
FTRTFT.
Alberto Sangiovanni-Vincentelli,
Andrea Balluchi,
Howard Wong-Toi,
2003
.
Howard Wong-Toi,
Pei-Hsin Ho,
Pei-Hsin Ho,
1995,
CAV.
Howard Wong-Toi,
G. J. Hoffmann,
1993
.