拉希德·泽诺;拉纳德普·比斯沃斯;艾哈迈德·博阿贾尼;康斯坦丁·埃纳;穆罕默德·埃尔拉迪 检查分布式数据库的因果一致性。 (英语) Zbl 1506.68022号 计算 104,第10号,2181-2201(2022)。MSC公司:第68页,共15页 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zennou}等人,Computing 104,No.10,2181--2201(2022;Zbl 1506.68022) 全文: 内政部 arXiv公司
哈娜·乔克勒(编辑);乔治·威森巴赫(编辑) 2018年计算机辅助验证大会特刊前言。 (英语) Zbl 1519.68003号 形式方法系统。设计。 57,第1期,第1-2期(2021年)。MSC公司:68-06 60年第68季度 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;Zbl 1519.68003) 全文: 内政部