埃默森·艾伦;埃德蒙·克拉克（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） 全文： 内政部