阿依达·拉胡伊;拉萨·哈默勒;穆罕默德·格雷特;贝歇尔·艾伊布 基于Event-B的云复合服务验证方法。 （英语） Zbl 1458.68014号 正式Asp。计算。 32，编号4-6，361-393（2020）.MSC公司：68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lahouij}等人，正式Asp。计算。32，编号4--6361--393（2020；Zbl 1458.68014） 全文： 内政部
保罗·阿卡尼;罗克萨娜·玛丽亚·霍洛姆;利可宾，埃尔维尼亚 基于ASM的云系统自适应组件的形式化设计。 （英语） Zbl 1345.68021号 正式Asp。计算。 28，第4期，567-595（2016）.MSC公司：64岁以下 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{P.Arcaini}等人，正式Asp。计算。28，第4号，567--595（2016；Zbl 1345.68021） 全文： 内政部
Gligoric，米洛斯;鲁帕克·马朱姆达尔 模型检查数据库应用程序。 （英语） 兹比尔1381.68163 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795549-564（2013）。MSC公司：60年第68季度 68英里11 第68页第19页 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Gligoric}和\textit{R.Majumdar}，莱克特。注释计算。科学。7795549–564（2013年；兹bl 1381.68163） 全文： 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 （英语） Zbl 1243.68138号 科学。计算。程序。 77，第5期，577-608（2012）.MSC公司：68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人，科学。计算。程序。77，第5号，577--608（2012；Zbl 1243.68138） 全文： 内政部
伊曼纽尔·塔朱迪内（Emmanuel M.Tadjouddine）。;弗兰克·盖林;Wamberto的Vasconcelos 抽象并验证拍卖机制的策略验证性。 （英语） Zbl 1207.68096号 Baldoni，Matteo（编辑）等人，《声明性代理语言和技术第六届国际研讨会》，DALT 2008，Estoril，葡萄牙，2008年5月12日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-93919-1/pbk）。计算机科学课堂讲稿5397。人工智能课堂讲稿，197-214（2009）。MSC公司：68英里11 60年第68季度 第68页第42页 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Tadjouddine}等人，Lect。注释计算。科学。5397、197--214（2009年；Zbl 1207.68096） 全文： 内政部