编辑配置文件（在新选项卡中打开） Betin Can，阿苏 合著者距离 作者ID： betin-can.aysu公司 发布方式： 艾苏贝汀坎 外部链接： ORCID公司 已编制索引的文档： 2出版物自2003年起 合著者： 1位合著者具有2份联合出版物 19位合作作者 合著者 0 单作者的 2 特夫菲克·布尔坦 系列 1 计算的形式方面 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物具有被引用2中的次1文件 引用人▼ 年份▼ 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号 艾苏贝汀坎;特夫菲克·布尔坦 1 2007 基于接口的并发控制器规范和验证。 Zbl 1271.68132号 艾苏贝汀坎;特夫菲克·布尔坦 1 2003 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号 Betin Can，阿苏;特夫菲克·布尔坦 1 2007 基于接口的并发控制器规范和验证。 Zbl 1271.68132号 艾苏贝汀坎;特夫菲克·布尔坦 1 2003 2位作者引用 1 艾苏贝汀坎 1 特夫菲克·布尔坦 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文