简·佩莱斯卡;克拉夫茨克,尼古拉斯;安妮·E·哈克斯豪森。;拉尔夫·平格尔 地理联锁系统的有效数据验证。 (英语) Zbl 1522.68341号 正式Asp。计算。 33,第6号,925-955(2021).MSC公司:60年第68季度 03B44号 64岁以下 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Peleska}等人,正式Asp。计算。33,编号6,925--955(2021;Zbl 1522.68341) 全文: 内政部
库纳尔·班纳吉;迪班卡·萨尔卡;奇塔兰詹·曼达尔 从基于路径的等价检查器导出互模拟关系。 (英语) Zbl 1358.68067号 正式Asp。计算。 第2号第29页,第365-379页(2017年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Banerjee}等人,正式Asp。计算。29,第2号,365-379(2017;Zbl 1358.68067) 全文: 内政部
保罗·阿卡尼;罗克萨娜·玛丽亚·霍洛姆;利可宾,埃尔维尼亚 基于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) 全文: 内政部
伊贡博格尔 地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。 (英语) Zbl 1123.68036号 正式Asp。计算。 第225-241号第19页(2007年).MSC公司:2005年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},正式Asp。计算。19,第2号,225--241(2007;Zbl 1123.68036) 全文: 内政部
H·H·哈拉尔。;南卡罗莱纳州博罗代伊。;彼得伦科,A。;A.乌尔里奇。 在因果一致分布跟踪中进行属性测试的正式方法。 (英语) Zbl 1103.68381号 正式Asp。计算。 18,第1期,63-83(2006).MSC公司:64岁以下 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hallal}等人,正式Asp。计算。18,编号1,63--83(2006;Zbl 1103.68381) 全文: 内政部
布德里加,努里丁;法提·埃卢米;阿里·米莉 规范格上:规范方法的应用。 (英语) Zbl 0782.68077号 正式Asp。计算。 第4期,第6544-571号(1992年).MSC公司:60年第68季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{N.Boudriga}等人,正式Asp。计算。4,第6号,544--571(1992;Zbl 0782.68077) 全文: 内政部