Hoang，泰国儿子；史蒂夫·施耐德；海伦·特里哈恩；大卫·M·威廉姆斯。 在Event-B细化中使用线性时序逻辑的基础。 （英语） Zbl 1348.68039号 正式Asp。计算。 28，第6号，909-935（2016）.MSC公司：68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人，正式Asp。计算。28，第6号，909--935（2016；Zbl 1348.68039） 全文： 内政部
Hoang，T.S.公司。；A.K.McIver。；梅尼克，L。；C.C.摩根。；A.斯隆。；苏萨托，E。 无干扰安全的抽象：概率与可能性。 （英语） 兹比尔1323.68212 正式Asp。计算。 26，第1期，169-194（2014）.MSC公司：68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人，正式Asp。计算。26，第1号，169--194（2014；Zbl 1323.68212） 全文： 内政部
Hoang，泰国儿子 离散转移系统中的安全不变量。 （英语） Zbl 1259.68127号 正式Asp。计算。 25，第1期，59-87（2013）.MSC公司：60年第68季度 68号30 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}，正式Asp。计算。25，第1号，59--87（2013；Zbl 1259.68127） 全文： 内政部 链接
Hoang，泰国儿子；Hironobu Kuruma；戴维·巴恩斯；让·雷蒙德·阿布里亚尔 在Event-B中开发拓扑发现。 （英语） Zbl 1192.68829号 科学。计算。程序。 74，编号11-12，879-899（2009）.MSC公司：68周05 68米10 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人，科学。计算。程序。74，编号11--12，879--899（2009；Zbl 1192.68829） 全文： 内政部
Hoang，泰国儿子；Hironobu Kuruma；戴维·巴恩斯；让·雷蒙德·阿布里亚尔 在Event-B中开发拓扑发现。 （英语） Zbl 1211.68028号 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，1-19（2009）。MSC公司：64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit｛T.S.Hoang｝等人，Lect。注释计算。科学。5423，1-19（2009；Zbl 1211.68028） 全文： 内政部 链接
史蒂夫·施耐德；Hoang，泰国儿子；肯·罗宾逊；海伦·特里哈恩 储罐监测：pAMN案例研究。 （英语） Zbl 1103.68636号 正式Asp。计算。 18，第3期，308-328（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人，正式Asp。计算。18，第3号，308--328（2006；Zbl 1103.68636） 全文： 内政部 链接