丹尼尔·莱曼;萨拉、撒哈拉 用时间和机会推理。 （英语） Zbl 0523.03016号 Inf.控制 53, 165-198 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于20文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题65 抽象数据类型；代数规范 关键词：概率并行程序;时序逻辑;模态逻辑 引文：Zbl 0441.68010号;Zbl 0221.02031 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehmann}和\textit{S.Shelah}，Inf.Control 53，165--198（1982；Zbl 0523.03016） 全文： 内政部