编辑配置文件（在新选项卡中打开） Mitra Tabaei Befrouei 合著者距离 作者ID： tabaei-befrouei.mitra公司 发布日期： Mitra Tabaei Befrouei 已编制索引的文档： 2出版物自2016年起 合著者： 5位合著者具有2联合出版物 102合著作者 合著者 0 单作者的 2 乔治·威森巴赫 1 安德烈亚斯·霍尔泽 1 丹尼尔·施瓦茨·纳博恩 1 王超 1 托马斯·怀斯 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 抽象和挖掘跟踪以解释并发错误。 Zbl 1380.68107号 Mitra Tabaei Befrouei;王超;乔治·威森巴赫 1 2016 抽象和挖掘跟踪以解释并发错误。 Zbl 1380.68107号 Mitra Tabaei Befrouei;王超;格奥尔格·魏森巴赫 1 2016 3位作者引用 1 Mitra Tabaei Befrouei 1 王超 1 乔治·威森巴赫 在1个序列中引用 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文