佩雷拉·帕斯夸林，道格拉斯；朱利安娜·凯泽·维佐托；爱德华多·凯斯勒·皮维塔 普及应用程序的类型化上下文感知环境演算。 （英语） Zbl 1347.68271号 正式Asp。计算。 27，编号5-6，885-916（2015）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pereira Pasqualin}等人，正式Asp。计算。27、编号5--6885--916（2015；Zbl 1347.68271） 全文： 内政部
奇亚拉·布拉金；娜塔莎·莎莉吉娜；凯特琳娜·巴罗内·阿德斯 一种基于模型检查的移动系统安全策略验证方法。 （英语） Zbl 1242.68153号 正式Asp。计算。 23，第5期，627-648（2011）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，《正式Asp》。计算。23，第5号，627--648（2011；Zbl 1242.68153） 全文： 内政部 哈尔
米克尔·邦加德；Jens Chr.Godskesen。；比约恩哈根森；汉斯·休特尔 具有位置的高阶微积分的可判定碎片。 （英语） Zbl 1291.68283号 Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，113-138（2009）。MSC公司：68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bundgaard}等人，《电子》。注释Theor。计算。科学。242，No.1，113--138（2009；Zbl 1291.68283） 全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；玛丽亚·格拉齐亚·维格利奥蒂 概率移动环境。 （英语） Zbl 1183.68400号 西奥。计算。科学。 410，编号12-13，1272-1303（2009）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，Theor。计算。科学。410，编号12--131272--1303（2009；Zbl 1183.68400） 全文： 内政部 链接
佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 具有空间意识的环境和过程。 （英语） Zbl 1111.68011号 西奥。计算。科学。 373，编号1-2，41-69（2007）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，Theor。计算。科学。373，编号1-2，41-69（2007年；Zbl 1111.68011） 全文： 内政部 链接
拉杜·马达尔；科拉多·普里亚米 轩尼诗-米尔纳逻辑的可判定扩展。 （英语） Zbl 1225.03031号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学讲义4229196-211（2006）。MSC公司：03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}和\textit{C.Priami}，莱克特。票据计算。科学。4229196-211（2006；Zbl 1225.03031） 全文： 内政部
路易斯·凯雷斯；艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 （英语） Zbl 1097.68085号 西奥。计算。科学。 358，编号2-3，293-314（2006）.MSC公司：68问题85 60年第68季度 03B70号 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{E.Lozes}，Theor。计算。科学。358，编号2--3，293--314（2006；Zbl 1097.68085） 全文： 内政部
爱荷华州博内娃；Jean-Marc Talbot 无法打开环境时。 （英语） Zbl 1070.68042号 西奥。计算。科学。 333，编号1-2，127-169（2005）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}和\textit{J.-M.Talbot}，Theor。计算。科学。333，编号1--2，127-169（2005；Zbl 1070.68042） 全文： 内政部 链接
纳迪亚·布西；吉安路易吉·扎瓦塔罗 论运动和限制在纯粹的运动环境中的表现力。 （英语） Zbl 1071.68072号 西奥。计算。科学。 322，第3期，477-515（2004）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛N.Busi｝和\textit｛G.Zavattaro｝，Theor。计算。科学。322，第3号，477--515（2004；Zbl 1071.68072） 全文： 内政部
维托尔德·查拉托尼克；达尔·齐利奥，西尔瓦诺；安德鲁·戈登。；Supratik穆霍帕迪耶；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） 全文： 内政部