格雷戈·波希曼。 带时序逻辑的硬件规范：示例。 （英语） Zbl 0477.94036号 IEEE传输。计算。 31, 223-231 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 显示扫描页面 引用于10文件 MSC公司： 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 03B45号 模态逻辑（包括规范逻辑） 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 第68页第25页 操作系统理论 关键词：存储器规格;安全性;活泼;表示过程的有源电路;自定时仲裁器;形式验证;可达性分析;查找设计错误;逻辑设计;超大规模集成电路设计 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann}，IEEE Trans。计算。31223--231（1982；Zbl 0477.94036） 全文： 内政部