编辑配置文件（在新选项卡中打开） 丹尼斯·布埃诺 合著者距离 作者ID： 布埃诺·德尼斯 发布日期： 丹尼斯·布埃诺 已编制索引的文档： 2出版物自2019年起 合著者： 1位合著者具有2联合出版物 22位合作作者 合著者 0 单作者的 2 卡伦·萨卡拉。 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ EUFORIA：使用未解释的功能完成软件模型检查。 Zbl 1522.68299号 丹尼斯·布埃诺;卡伦·萨卡拉。 1 2019 EUFORIA：使用未解释的功能完成软件模型检查。 兹比尔1522.68299 丹尼斯·布埃诺;卡伦·萨卡拉。 1 2019 3位作者引用 1 帕塔萨拉西马杜苏丹 1 乌芒·马图尔 1 马赫什·维斯瓦纳坦 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文