罗斯·波勒;安德烈·普拉泽 建设性混合游戏。 (英语) Zbl 07614528号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Bohrer}和\textit{A.Platzer},Lect。注释计算。科学。12166、454--473(2020;Zbl 07614528) 全文: 内政部 arXiv公司 OA许可证
斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) 兹比尔1380.68282 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:60年第68季度 03B70号 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},《形式方法系统》。设计。49,编号1--2,33-74(2016;Zbl 1380.68282) 全文: 内政部 OA许可证