法特梅·加塞米;Wan Fokkink公司 模型检查移动自组织网络。 (英语) Zbl 1368.68247号 表格方法系统。设计。 49,第3期,159-189(2016).MSC公司:60年第68季度 68平方米 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}和\textit{W.Fokkink},《形式方法系统》。设计。49,第3159-189号(2016年;兹bl 1368.68247) 全文: 内政部
法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 移动自组网的验证:代数方法。 (英语) Zbl 1216.68160号 西奥。计算。科学。 412,第28号,3262-3282(2011).MSC公司:60年第68季度 2007年7月68日 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}等人,Theor。计算。科学。412,第28号,3262-3282(2011;Zbl 1216.68160) 全文: 内政部