埃默森·艾伦;埃德蒙·克拉克(Edmund M.Clarke)。 使用分支时间时序逻辑合成同步骨架。 (英语) Zbl 0514.68032号 科学。计算。程序。 2, 241-266 (1982). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5个 显示扫描页面 引用于4评论引用于82文件 MSC公司: 第68页第25页 操作系统理论 关键词:决策程序;有限模型特性;规格公式;时序逻辑规范 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{E.M.Clarke},科学。计算。程序。2,241--266(1982;Zbl 0514.68032) 全文: 内政部