佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) 兹伯利0522.68030 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM Trans。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0487.68027号 《程序逻辑》,纽约约克镇高地工作坊,1981年,勒克特。注释计算。科学。131, 253-281 (1982).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式