编辑配置文件（在新选项卡中打开） 拉比·米佐尼 合著者距离 作者ID： mizouni.rabeb公司 发布日期： 拉比·米佐尼;R·米佐尼。 已编制索引的文档： 2出版物自2004年起 合著者： 4位合著者具有2份联合出版物 20位合著者 合著者 0 单作者的 2 拉奇达·德索利 2 阿齐兹·萨拉赫 1 索尔马·科拉希 1 贝诺·帕罗 系列 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物具有被引用2中的次1文件 引用人▼ 年份▼ 分布式场景的正式组合。 Zbl 1110.68347号 阿齐兹·萨拉赫;拉比·米佐尼;拉奇达·德索利;贝诺·帕罗 1 2004 使用同步和模型检查组合用例。 Zbl 1225.68122号 R·米佐尼。;A.萨拉赫。;科拉希，S。;R·德索利。 1 2006 使用同步和模型检查的用例组合。 Zbl 1225.68122号 R·米佐尼。;A.萨拉赫。;科拉希，S。;R·德索利。 1 2006 分布式场景的正式组合。 Zbl 1110.68347号 阿齐兹·萨拉赫;拉比·米佐尼;拉奇达·德索利;贝诺·帕罗 1 2004 4位作者引用 1 拉奇达·德索利 1 索拉希，索尔马兹 1 拉贝布·米祖尼 1 阿齐兹·萨拉赫 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文