纳维尔·加尔比；克劳德·杜泰利特 一种分析具有不可靠服务器的有限源重试系统的算法方法。 （英语） Zbl 1231.90149号 计算。数学。申请。 62，第6期，2535-2546（2011）.MSC公司：90B25型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}和\textit{C.Dutheillet}，计算。数学。申请。62，第6号，2535--2546（2011；Zbl 1231.90149） 全文： 内政部
纳维尔·加尔比；克劳德·杜泰利特；马利卡·尤瓦拉伦 用于多类再审系统建模和分析的有色随机Petri网。 （英语） Zbl 1165.90361号 数学。计算。建模 49，编号7-8，1436-1448（2009）.MSC公司：90B15号机组 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}等人，《数学》。计算。建模49，编号7--8，1436--1448（2009；Zbl 1165.90361） 全文： 内政部
纳维尔·加尔比 随机Petri网在分析具有不同休假策略的多服务器重试系统中的适用性。 （英语） Zbl 1183.68040号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311289-302（2008）。MSC公司：68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}，莱克特。票据计算。科学。5311、289--302（2008年；Zbl 1183.68040） 全文： 内政部