何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) Zbl 1243.68138号 科学。计算。程序。 77,第5期,577-608(2012).MSC公司:68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,科学。计算。程序。77,第5号,577--608(2012;Zbl 1243.68138) 全文: 内政部
维克多·舒潘 对于LTL而言,不可满足和不可实现的核心概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 用于分析抽象系统属性的基于状态/事件的模型检查方法。 (英语) Zbl 1213.68392号 科学。计算。程序。 76,第2期,119-135(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,科学。计算。程序。76,编号2119-135(2011年;兹bl 1213.68392) 全文: 内政部
克吕佩尔霍尔茨,萨沙;克里斯特尔·拜尔 多智能体系统的交替时间流逻辑。 (英语) Zbl 1192.68697号 科学。计算。程序。 75,第6号,398-425(2010).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。75,第6号,398--425(2010;Zbl 1192.68697) 全文: 内政部
罗伯特·科尔文;布里杰什·多戈尔 一种证明锁自由度的通用技术。 (英语) Zbl 1157.68024号 科学。计算。程序。 74,第3期,143-165(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}和\textit{B.Dongol},科学。计算。程序。74,第3号,143--165(2009;Zbl 1157.68024) 全文: 内政部
段振华;杨晓晓;马西耶·库特尼 框架时序逻辑编程。 (英语) Zbl 1131.68036号 科学。计算。程序。 70,第1期,31-61(2008).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,《科学》。计算。程序。70,第1号,第31--61号(2008;Zbl 1131.68036) 全文: 内政部
米歇尔·沙彭蒂埃 合成不变量。 (英语) Zbl 1101.68686号 科学。计算。程序。 60,第3期,221-243(2006).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Charpentier},科学。计算。程序。60,第3号,221--243(2006;Zbl 1101.68686) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 用于改进选择性微积分中模型检查的组成性和局部性。 (英语) Zbl 1083.68087号 科学。计算。程序。 54,编号2-3,291-311(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},科学。计算。程序。54,编号2--3,291--311(2005;Zbl 1083.68087) 全文: 内政部
拉杜·马特埃斯库;米哈埃拉·西希雷亚努 针对正则无交替演算的高效实时模型检查。 (英语) Zbl 1026.68098号 科学。计算。程序。 46,第3期,255-281(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{M.Sighireanu},科学。计算。程序。46,第3号,255--281(2003;Zbl 1026.68098) 全文: 内政部
冯·卡格尔(von Karger),伯加德(Burghard) 反应系统的计算方法。 (英语) Zbl 0954.68035号 科学。计算。程序。 37,编号1-3,139-161(2000).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger},科学。计算。程序。37,编号1--3,139-161(2000;Zbl 0954.68035) 全文: 内政部
艾默生·E·艾伦;Lei、Chin-Laung 模型检查的模式:分支时间逻辑反击。 (英语) Zbl 0615.68019号 科学。计算。程序。 8, 275-306 (1987).MSC公司:60年第68季度 第68页第25页 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei},科学。计算。程序。8275--306(1987年;Zbl 0615.68019) 全文: 内政部
艾默生·E·艾伦;埃德蒙·克拉克(Edmund M.Clarke)。 使用分支时间时序逻辑合成同步骨架。 (英语) Zbl 0514.68032号 科学。计算。程序。 2, 241-266 (1982).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{E.A.爱默生}和\textit{E.M.克拉克},科学。计算。程序。2,241--266(1982;Zbl 0514.68032) 全文: 内政部