穆罕默德·古达。;张忠国 证明通信有限状态机网络的活性。 (英语) Zbl 0593.68016号 ACM事务处理。程序。语言系统。 8, 154-182 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Gouda}和\textit{C.-K.Chang},ACM翻译。程序。语言系统。8154--182(1986年;Zbl 0593.68016) 全文: 内政部 链接
穆罕默德·古达。 关于“证明不成立的简单协议”:状态机方法。 (英语) Zbl 0569.94002号 IEEE传输。Commun公司。 33, 380-382 (1985).MSC公司:94A05级 68平方米 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.古达},IEEE Trans。Commun公司。33380-382(1985年;Zbl 0569.94002) 全文: 内政部