维托尔德·查拉托尼克;达尔·齐利奥（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） 全文： 内政部
维托尔德·查拉托尼克;安德鲁·戈登。;Jean-Marc Talbot 有限控制移动环境。 （英语） Zbl 1077.68574号 Le Métayer，Daniel（编辑），《编程语言和系统》。2002年4月8日至12日在法国格勒诺布尔举行的第11届欧洲编程研讨会，ESOP 2002，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43363-5）。莱克特。注释计算。科学。2305, 295-313 (2002).MSC公司：68甲19 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人，Lect。注释计算。科学。2305295-313（2002年；Zbl 1077.68574） 全文： 链接
维托尔德·查拉托尼克;达尔·齐利奥（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） 全文： 链接