编辑配置文件（在新选项卡中打开） 丹尼尔·施梅尔 合著者距离 作者ID： 架构.daniel 发布日期： 丹尼尔·施梅尔 已编制索引的文档： 2出版物自2018年起 合著者： 6位合著者具有2联合出版物 85位合作作者 全部的 前5名合著者 0 单作者的 2 朱利安·勃宁 2 克劳斯·韦尔 1 戴维·拉普雷尔 1 诺尔，托马斯 1 罗德里格斯，塞萨尔·马林 1 索里娅·达斯曼，奥斯卡 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1时间1文件 引用人▼ 年份▼ 用于测试多线程程序的符号部分顺序执行。 Zbl 1478.68046号 丹尼尔·施梅尔；朱利安·勃宁；塞萨尔·罗德里格斯；戴维·拉普雷尔；克劳斯·韦尔 1 2020 用于测试多线程程序的符号部分顺序执行。 Zbl 1478.68046号 丹尼尔·施梅尔；朱利安·勃宁；塞萨尔·罗德里格斯；戴维·拉普雷尔；克劳斯·韦勒 1 2020 由4位作者引用 1 卡米尔·科蒂 1 劳蕾·佩特鲁奇 1 罗德里格斯，塞萨尔·马林 1 马塞洛·索萨。 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文