段振华;田聪;张楠 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 (英语) Zbl 1370.68200号 西奥。计算。科学。 609,第3部分,544-560(2016). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。609,第3部分,544--560(2016;Zbl 1370.68200) 全文: 内政部
M.C.布朗。;E.M.克拉克。;O·格伦伯格。 描述命题时序逻辑中有限Kripke结构的特征。 (英语) 兹比尔0677.03011 西奥。计算。科学。 59,编号1-2,115-131(1988). 审核人:C.马萨拉吉 MSC公司:03B45号 03B70号 68问题65 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人,Theor。计算。科学。59,编号1--2,115-131(1988;Zbl 0677.03011) 全文: 内政部
苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 (英语) Zbl 0551.68033号 RAIRO,Inf.Théor公司。 18, 345-353 (1984). 审核人:J.兹拉图斯卡 MSC公司:68问题65 60年第68季度 03B45号 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf},RAIRO,Inf.Théor。18、345--353(1984年;Zbl 0551.68033) 全文: 欧洲DML