编辑配置文件(在新选项卡中打开) 萨米尔·优素福 合著者距离 作者ID: 优素福·萨米尔 发布日期: 萨米尔·优素福 编入索引的文档: 1出版物自2011年起 合著者: 2位合著者具有1联合出版物 57位合作作者 合著者 0 单作者的 1 萨米·伊万格利斯塔 1 劳雷·佩特鲁奇 系列 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 并行嵌套深度优先搜索用于LTL模型检查。 Zbl 1348.68134号 萨米·伊万格利斯塔;劳雷·佩特鲁奇;Youcef,萨米尔 2 2011 并行嵌套深度优先搜索用于LTL模型检查。 Zbl 1348.68134号 萨米·伊万格利斯塔;劳蕾·佩特鲁奇;萨米尔·优素福 2 2011 全部的 前5名7位作者引用 1 玛丽克·赫斯曼 1 Joosten,Sebastian J.C。 1 Wytse Oortwijn公司 1 范德波尔,扬·科内利斯 1 王国银 1 徐太华 1 杨杰 连载1篇 1 国际近似推理杂志 在2个字段中引用 2 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的引文