迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完备性、一致插值和叠加演算。(应用于验证数据软件过程)。 (英语) Zbl 07433024号 J.汽车。推理 65,第7期,941-969(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,J.Autom。推理65,No.7,941-969(2021;Zbl 07433024) 全文: 内政部 OA许可证
亚历山大·本特坎普;布兰切特,茉莉;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas叠加。 (英语) Zbl 07433023号 J.汽车。推理 65,第7期,893-940(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,J.Autom。推理65,No.7,893--940(2021;Zbl 07433023) 全文: 内政部 OA许可证