石景浩;Lahiri,Shuvendu K。;Ranveer Chandra;杰弗里·查伦 不确定性条件下的无线协议验证。 (英语) Zbl 1394.68027号 形式方法系统。设计。 53,第1号,33-53(2018).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Shi}等人,《形式方法系统》。设计。53,第1号,33-53(2018;Zbl 1394.68027) 全文: 内政部
D.哈雷。;卡梅尔,L。;D.柳叶刀。 朝向气味通信系统。 (英语) Zbl 1047.92031号 计算。生物化学。 27,第2期,121-133(2003).MSC公司:92C99型 91E30型 92C30型 92-08 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,《计算》。生物化学。27,第2号,121--133(2003;Zbl 1047.92031) 全文: 内政部
罗杰·巴特勒。;爱德华·斯拉明卡(Edward E.Slaminka)。 使用标准测试函数评估Sniffer全局优化算法。 (英语) Zbl 0747.65042号 J.计算。物理学。 99,第1期,28-32页(1992年). 审核人:H.Benker(梅塞堡) MSC公司:65千5 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.R.Butler}和textit{E.E.Slaminka},J.Compute。物理学。99,编号1,28-32(1992年;Zbl 074765042) 全文: 内政部