帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的近似参数化验证。 （英语） 兹比尔1176.68110 形式方法系统。设计。 34，第2期，126-156（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《形式方法系统》。设计。34，第2号，126--156（2009；Zbl 1176.68110） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 基于目录的一致性协议的自动验证。 （英语） Zbl 1260.68224号 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579736-50（2009）。MSC公司：60年第68季度 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。5797、36-50（2009年；Zbl 1260.68224） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 具有动态内存堆的程序的单调抽象。 （英语） Zbl 1155.68423号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。《计算机科学讲义》5123341-354（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。5123341-354（2008年；兹比尔1155.68423） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索，朱利安;艾哈迈德·雷兹 树规则模型检查：一种基于仿真的方法。 （英语） Zbl 1101.68055号 J.日志。阿尔盖布。程序。 69，编号1-2，93-121（2006）.MSC公司：60年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，J.Log。阿尔盖布。程序。69，编号1--2，93-121（2006；Zbl 1101.68055） 全文： 内政部