ter Beek，Maurice H。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165） 全文： 内政部
阿依达·拉胡伊;拉萨·哈默勒;穆罕默德·格雷特;贝歇尔·艾伊布 基于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） 全文： 内政部
佛罗伦萨雪佛龙;Aurélie胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 （英语） Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司：60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人，J.Log。阿尔盖布。方法计划。108、24-46（2019年；Zbl 1435.68191） 全文： 内政部 链接
佛罗伦萨雪佛龙;Aurélie胡罗;菲利普·奎因内克 异步通信的多样性。 （英语） Zbl 1345.68022号 正式Asp。计算。 28，第5期，847-879（2016）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevrou}等人，正式Asp。计算。28，第5号，847--879（2016；Zbl 1345.68022） 全文： 内政部 哈尔
高洪浩;苗、淮口 基于两阶段兼容性验证的Web应用程序动态重构研究。 （英语） Zbl 1312.68020号 国际期刊计算。数学。 90，第11期，2265-2278（2013）.MSC公司：68英里11 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}和\textit{H.Miao}，国际计算机杂志。数学。90，第11号，2265--2278（2013；Zbl 1312.68020） 全文： 内政部