穆罕默德·古达。;张忠国 证明通信有限状态机网络的活性。 (英语) 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) 全文: 内政部 链接
E.M.克拉克。;艾默生,E.A。;西斯特拉,A.P。 使用时态逻辑规范对有限状态并发系统进行自动验证。 (英语) Zbl 0591.68027号 ACM事务处理。程序。语言系统。 8, 244-263 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,ACM Trans。程序。语言系统。8244--263(1986年;Zbl 0591.68027) 全文: 内政部 链接