编辑配置文件（在新选项卡中打开） 米歇尔·阿鲁夫·梅迪纳 合著者距离 作者ID： aluf-medina.michelle公司 发布日期： 米歇尔·阿鲁夫·梅迪纳 已编制索引的文档： 2出版物自2021年起 合著者： 6位合著者具有2联合出版物 22位合作作者 全部的 前5名合著者 0 单作者的 2 希勒尔·库格勒 2 阿夫拉罕·拉维夫 1 Eliya Bronshtein 1 科尔滕·蒂尔 1 Dan V.jun尼古拉。 1 Reginiano，或 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 基于网络的生物计算电路的形式语义和验证。 Zbl 1472.68057号 米歇尔·阿鲁夫·梅迪纳;科尔滕，蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒 1 2021 基于网络的生物计算电路的形式语义和验证。 Zbl 1472.68057号 米歇尔·阿鲁夫·梅迪纳;科尔滕·蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒 1 2021 5位作者引用 1 亚历山德罗·西马蒂 1 阿尔贝托·格里乔 1 塞尔吉奥·莫弗 1 马可·罗维里 1 斯特凡诺·托内塔 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文