卡梅尔·阿迪;穆拉德·德巴比;小梅,穆罕默德 电子商务协议的新逻辑。 (英语) Zbl 1008.68047号 西奥。计算。科学。 291,第3期,223-283(2003).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Adi}等人,Theor。计算。科学。291,第3号,223--283(2003;Zbl 1008.68047) 全文: 内政部
朱利安·布拉德菲尔德;科林·斯特林 无限状态空间的局部模型检查。 (英语) Zbl 0747.68036号 西奥。计算。科学。 96,第1期,157-174(1992).MSC公司:60年第68季度 68问题85 03B45 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{C.Stirling},Theor。计算。科学。96,第1号,157--174(1992;Zbl 0747.68036) 全文: 内政部