当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 离散时间自动机的Presburger活性验证。 （英语） Zbl 1040.68050号 西奥。计算。科学。 299，编号1-3，413-438（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人，Theor。计算。科学。299，编号1--3，413--438（2003；Zbl 1040.68050） 全文： 内政部
当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 离散时间自动机的Presburger活性。 （英语） Zbl 0981.68715号 Ferreira，Afonso（编辑）等人，STACS 2001。第18届计算机科学理论方面年度研讨会。2001年2月15日至17日，德国德累斯顿。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2010, 132-143 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人，Lect。注释计算。科学。2010年，132-143（2001年；Zbl 0981.68715）