编辑配置文件(在新选项卡中打开) 亚历克西斯·马雷查尔 合著者距离 作者ID: 马赛尔·亚历山大 发布日期: 亚历克西斯·马雷查尔 已编制索引的文档: 5出版物自2010年起 合著者: 7合著者具有5份联合出版物 11位合作作者 全部的 前5名合著者 0 单作者的 5 迪迪埃·布克斯 2 史蒂夫·霍斯特勒 2 阿尔班·利纳德 2 马蒂奥·里索尔迪 1 特夫霍斯特特勒 1 洛佩斯·博贝达,埃德蒙多 1 尼古拉斯·塞德马杰尔 系列 2 计算机基础理论 字段 4 计算机科学(68至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ AlPiNA:符号模型检查器。 兹比尔1233.68155 迪迪埃·布克斯;史蒂夫·霍斯特特勒;亚历克西斯·马雷查尔;马蒂奥·里索尔迪 1 2010 AlPiNA:符号模型检查器。 Zbl 1233.68155号 迪迪埃·布克斯;史蒂夫·霍斯特特勒;亚历克西斯·马雷查尔;马蒂奥·里索尔迪 1 2010 1位作者引用 1 尼古拉斯·盖尔菲 连载1篇 1 中欧计算机科学杂志 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文