编辑配置文件（在新选项卡中打开） Jean-Marc的Mota 合著者距离 作者ID： mota.jean-marc公司 发布日期： Jean-Marc的Mota 已编制索引的文档： 1出版物自2019年起 合著者： 3位合著者具有1联合出版物 81位合作作者 合著者 0 单作者的 1 埃蒂安·安德烈 1 劳伦·弗里堡 1 罗曼·苏拉特 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ 使用抽象和参数模型检查验证工业异步领导者选举算法。 Zbl 1522.68293号 埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 4 2019 使用抽象和参数模型检查验证工业异步领导者选举算法。 Zbl 1522.68293号 埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 4 2019 全部的 前5名被9位作者引用 2 埃蒂安·安德烈 2 艾丁·戈尔（Ebru Aydin Gol） 2 雅罗斯拉夫·本迪克 2 伊万娜·乔纳 2 艾哈迈特·塞肯 1 艾曼纽尔·科夸德 1 劳伦·弗里堡 1 杰瑞，贾维尔 1 戴维·莱森斯 2篇连载文章中引用 1 计算机基础理论 1 计算机科学中的逻辑方法 在4个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文