维托尔德·查拉托尼克;达尔·齐利奥（Dal Zilio，Silvano）;安德鲁·戈登。;Supratik Mukhopadhyay公司;Jean-Marc Talbot 模型检查移动环境。 （英文） Zbl 1068.68081号 西奥。计算。科学。 308，编号1-3，277-331（2003）.MSC公司：60年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Charatonik｝等人，Theor。计算。科学。308，编号1--3，277--331（2003；Zbl 1068.68081） 全文： 内政部
达尔·齐利奥（Dal Zilio，Silvano）;安德鲁·戈登。 区域分析与群的（π）演算。 （英文） Zbl 1005.68041号 J.功能。程序。 12，第3期，229-292（2002）.MSC公司：68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Dal Zilio｝和\textit｛A.D.Gordon｝，J.Funct。程序。12，第3号，229--292（2002；Zbl 1005.68041） 全文： 内政部
维托尔德·查拉托尼克;达尔·齐利奥（Dal Zilio，Silvano）;安德鲁·戈登。;Supratik Mukhopadhyay公司;Jean-Marc Talbot 模型检查移动环境的复杂性。 （英文） Zbl 0978.68096号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2030年，152-167（2001年）。MSC公司：60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人，Lect。注释计算。科学。2030年，152-167（2001年；Zbl 0978.68096） 全文： 链接
达尔·齐利奥（Dal Zilio，Silvano）;安德鲁·戈登。 区域分析和群演算。 （英文） Zbl 0996.68120号 尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1893, 1-20 (2000).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{A.D.Gordon}，莱克特。注释计算。科学。1893年1月20日（2000年；Zbl 0996.68120）