谢万玲；香，双清；朱慧彪 rTiMo的UTP方法。 （英语） 兹比尔1425.68304 正式Asp。计算。 30，第6号，713-738（2018）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人，正式Asp。计算。30，编号6，713--738（2018；Zbl 1425.68304） 全文： 内政部
谢万玲；香，双清 rTiMo的UTP语义。 （英语） Zbl 1483.68238号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。10134, 176-196 (2017).MSC公司：68问题85 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}和\textit{S.Xiang}，Lect。注释计算。科学。10134，176--196（2017；Zbl 1483.68238） 全文： 内政部