克里希纳·M·卡维。;Buckles,Bill P。;巴特,U.Narayan 数据流图模型的正式定义。 (英语) Zbl 0602.68027号 IEEE传输。计算。 35, 940-948 (1986).MSC公司:第68页第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Kavi}等人,IEEE Trans。计算。35、940--948(1986年;Zbl 0602.68027) 全文: 内政部
格雷戈·波希曼。 带时序逻辑的硬件规范:示例。 (英语) Zbl 0477.94036号 IEEE传输。计算。 31, 223-231 (1982).MSC公司:94立方厘米 03B45 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann},IEEE Trans。计算。31223--231(1982;Zbl 0477.94036) 全文: 内政部