徐,英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 使用多路决策图(MDG)对一阶时序逻辑进行模型检查。 (英文) Zbl 1090.68069号 计算。J。 47,第1期,71-84(2004).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,计算。J.47,第1号,第71--84页(2004年;Zbl 1090.68069) 全文: 内政部 链接
帕帕佐普洛斯,康斯坦丁诺斯 CSCW的扩展时序逻辑。 (英文) Zbl 1037.68094号 计算。J。 45,第4期,453-472(2002).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Papadopoulos},计算。J.45,第4号,453--472(2002;Zbl 1037.68094) 全文: 内政部
H.巴林格。 时间上下的方式。 (英文) Zbl 0653.68117号 计算。J。 30, 134-148 (1987).MSC公司:68岁20岁 第68页第25页 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer},计算。J.30,134--148(1987;Zbl 0653.68117) 全文: 内政部