周朝晨;霍尔,C.A.R。 同步开关电路模型及其正确性理论。 (英语) Zbl 0777.94026号 形式方法系统。设计。 1,第1期,7-28(1992).MSC公司:94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{C.A.R.Hoare},《形式与方法系统》。设计。1,第1号,第7--28号(1992;Zbl 0777.94026) 全文: 内政部
周朝晨;霍尔,C.A.R。;安德斯·雷文(Anders P.Ravn)。 持续时间的计算。 (英语) Zbl 0743.68097号 信息处理。莱特。 40,第5期,269-276(1991).MSC公司:60年第68季度 68N99型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}等人,《信息处理》。莱特。40,编号5,269--276(1991;Zbl 0743.68097) 全文: 内政部