马西莫·贝内雷塞蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过优先级提升解决平价游戏。 (英文) Zbl 1390.68332号 形式方法系统。设计。 52,第2期,193-226(2018).MSC公司:65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《形式方法系统》。设计。52,编号2193-226(2018;兹bl 1390.68332) 全文: 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 (英文) Zbl 1390.68442号 形式方法系统。设计。 52,第2期,147-192(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg},《形式方法系统》。设计。52,第2号,147--192(2018;Zbl 1390.68442) 全文: 内政部
奥尔纳·库普弗曼;加尔省瓦尔迪 关于相对和概率有限抗衡性。 (英文) Zbl 1390.68433号 形式方法系统。设计。 52,第2期,117-146(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},《形式方法系统》。设计。52,第2号,117--146(2018;Zbl 1390.68433) 全文: 内政部 链接