塔贾纳·卡普斯 通过使用动作的时序逻辑来指定和验证公平输入/输出自动机的外部行为。 (英语) 兹伯利1387.68166 维尔纽斯Informatica 26,第4期,685-704(2015).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kapus},维尔纽斯Informatica 26,No.4,685--704(2015;Zbl 1387.68166) 全文: 链接
恩里卡斯·普拉内维修斯;Stanislovas诺格拉 有限线性时序逻辑在分段线性聚合中的应用。 (英语) Zbl 1267.68230号 维尔纽斯Informatica 23,第3期,427-441(2012).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Pranevicius}和\textit{S.Norgíla},Informatica,维尔纽斯23,No.3,427--441(2012;Zbl 1267.68230)
Sakalauskaitö,Jératö 知识和信念分支时间时序逻辑的序贯计算。 (英语) Zbl 1137.03009号 维尔纽斯Informatica 18,第1期,103-114(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskaitï},Informatica,维尔纽斯18号,第1期,第103-114页(2007年;Zbl 1137.03009)
普利乌什凯维奇乌斯,里贾曼塔斯;艾达,普留什凯维奇 信念和行动的时间逻辑的决策程序。 (英语) Zbl 1105.03018号 维尔纽斯Informatica 15,第3期,379-398(2004).MSC公司:03B44号 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevićius}和\textit{A.Pliuökevičien},维尔纽斯信息技术学院,第15期,第3期,第379--398页(2004;Zbl 1105.03018)