穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·赛瓦桑 使用嵌套锁验证异步程序。 （英语） Zbl 1491.68105号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第11条，第14页（2018年）。MSC公司：60年第68季度 68纳米30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人，LIPIcs——莱布尼茨国际程序。通知。93，第11条，第14页（2018；兹bl 1491.68105） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;奥思曼·雷津;贾里·斯坦曼 基于预算的模型检查下推系统。 （英语） Zbl 1317.68106号 形式方法系统。设计。 45，第2期，273-301（2014）.MSC公司：60年第68季度 68问题85 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《形式方法系统》。设计。45，第2号，273--301（2014；Zbl 1317.68106） 全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;沙兹·卡迪尔 动态创建线程的并发程序的上下文分析。 （英语） Zbl 1237.68056号 日志。方法计算。科学。 7，第4期，第4号论文，48页（2011年）.MSC公司：68纳米30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人，《日志》。方法计算。科学。7，第4期，第4号论文，48页（2011年；Zbl 1237.68056） 全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·哈贝梅尔 关于Petri网的Yen路径逻辑。 （英语） Zbl 1230.68153号 发现的国际期刊。计算。科学。 22，第4期，783-799（2011）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}和\textit{P.Habermehl}，国际期刊发现。计算。科学。22，第4号，783--799（2011；Zbl 1230.68153） 全文： 内政部
泰瑟·图利;穆罕默德·法乌齐（Mohamed Faouzi Atig） 使用动态通信结构验证并行程序。 （英语） Zbl 1209.68114号 西奥。计算。科学。 411，编号38-39，3460-3468（2010）.MSC公司：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{M.F.Atig}，Theor。计算。科学。411、编号38-39、3460-3468（2010；Zbl 1209.68114） 全文： 内政部