波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 42,第4期,335-365(2013).MSC公司:60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部
黄文浩;贝尔纳·齐格勒(Bernard P.Zeigler)。 可验证的层次时钟系统的表达。 (英语) 兹伯利1222.68114 国际通用系统杂志。 37,第4号,391-413(2008).MSC公司:60年第68季度 93元65角 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Hwang}和\textit{B.P.Zeigler},《国际遗传学系统》。37,第4号,391--413(2008;Zbl 1222.68114) 全文: 内政部