帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(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) 全文: DOI程序
帕罗什·阿齐兹·阿卜杜拉 好的(更好的)准序跃迁系统。 (英语) Zbl 1207.68219号 牛市。符号。日志。 16,第4期,457-515(2010).MSC公司:68问题85 2012年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},公牛。符号。日志。16,第4号,457--515(2010;Zbl 1207.68219) 全文: DOI程序
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 使用前向可达性分析验证定时Petri网。 (英语) Zbl 1168.68434号 Nord.J.计算。 14,编号1-2,1-42(2007).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Nord.J.Compute。14,编号1--2,1--42(2007;Zbl 1168.68434)
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) 兹伯利0973.68146 西奥。计算。科学。 256,编号1-2145-167(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: DOI程序