乔治·米尔恩。 朝向可验证的正确VLSI设计。 (英语) Zbl 0626.68042号 超大规模集成电路设计的形式方面。研讨会,爱丁堡/苏格兰。1985, 1-22 (1986). 审核人:A.米查尔斯基 MSC公司:99年第68季度 第68页第25页 94C99号 PDF格式BibTeX公司 XML格式
乔治·米尔恩。 CIRCAL和通信、并发和时间的表示。 (英语) Zbl 0562.68017号 ACM事务处理。程序。语言系统。 7, 270-298 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Milne},ACM翻译。程序。语言系统。7、270--298(1985年;Zbl 0562.68017) 全文: 内政部 链接