Howard Wong-Toi，霍华德 斜坡参数矩形自动机分析。 （英语） Zbl 0927.93034号 Antsaklis，Panos（编辑）等人，《混合动力系统V.第五届国际混合动力系统研讨会》，1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1567, 390-413 (1999). 审核人：托马斯·利布林（洛桑） MSC公司：93立方 93B11号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Wong-Toi}，莱克特。注释计算。科学。1567390-413（1999年；Zbl 0927.93034）
托马斯·亨辛格（Thomas A.Henzinger）。;何佩欣;Howard Wong-Toi，霍华德 非线性混合系统的算法分析。 （英语） Zbl 0918.93019号 IEEE传输。自动。控制 43，第4期，540-554（1998）. 审核人：M.G.内鲁卡（卡姆登） MSC公司：93立方 65年第68季度 93立方厘米 93B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人，IEEE Trans。自动。控制43，编号4，540--554（1998；Zbl 0918.93019） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;何佩欣;Howard Wong-Toi，霍华德 HyTech：混合系统的模型检查器。 （英语） Zbl 1060.68603号 国际期刊软件。技术工具。Transf公司。第1卷，第1-2期，第110-122页（1997年）。MSC公司：65年第68季度 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式 全文： 内政部