卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 访问权限的并发约束编程解释。 (英语) Zbl 1478.68056号 理论与实践。日志。程序。 18,第2期,252-295(2018).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《理论与实践》。日志。程序。18,第2号,252--295(2018;Zbl 1478.68056) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 约束Horn子句验证中的树维度。 (英语) Zbl 1478.68165号 理论与实践。日志。程序。 18,第2号,224-251(2018).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18,第2号,224--251(2018;Zbl 1478.68165) 全文: 内政部 arXiv公司
洛佩兹·加西亚,P。;达尔马万,L。;M.克莱门。;美国利卡特。;布埃诺,F。;M.V.Hermenegildo。 通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。 (英语) Zbl 1478.68170号 理论与实践。日志。程序。 18,第2期,167-223(2018).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。18,第2号,167--223(2018;Zbl 1478.68170) 全文: 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的谓词配对。 (英语) Zbl 1478.68153号 理论与实践。日志。程序。 18,编号2,126-166(2018).MSC公司:60年第68季度 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。18,编号2,126--166(2018;Zbl 1478.68153) 全文: 内政部 arXiv公司
德国维达尔(编辑) 介绍用于验证的计算逻辑专题。 (英语) Zbl 1475.00076号 理论与实践。日志。程序。 18,第2期,122-125(2018).MSC公司:00B15号机组 68-06 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Vidal}(编辑),理论与实践。日志。程序。18,编号2,122-125(2018;Zbl 1475.00076) 全文: 内政部