娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 资源型ATL的模型检查,包括资源的生产和消耗。 (英语) Zbl 1371.68173号 J.计算。系统。科学。 88, 126-144 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,J.Compute。系统。科学。88、126--144(2017年;Zbl 1371.68173) 全文: DOI程序 arXiv公司
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 带约束的\(\operatorname{ECTL}^\ast\)的可满足性。 (英语) Zbl 1358.03032号 J.计算。系统。科学。 82,5号,826-855(2016). 审核人:雅罗斯拉夫·施拉姆科(Kryvyi Rih) MSC公司:03B44号 03B70号 03年11月15日 60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Carapelle}等人,J.计算。系统。科学。82,第5号,826--855(2016;Zbl 1358.03032) 全文: DOI程序
马库斯拿铁;马丁·兰格 具有路径相对化的分支时间逻辑。 (英语) Zbl 1297.68170号 J.计算。系统。科学。 80,第2期,375-389(2014). 审核人:Heribert Vollmer(汉诺威) MSC公司:60年第68季度 2015年3月1日 2017年第68季度 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte}和\textit{M.Lange},J.Comput。系统。科学。80,第2号,375--389(2014;Zbl 1297.68170) 全文: DOI程序
奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人. (英语) Zbl 1245.03022号 J.计算。系统。科学。 78,第3期,981-996(2012).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《计算杂志》。系统。科学。78,第3号,981-996(2012;Zbl 1245.03022) 全文: DOI程序
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) 兹比尔1247.68050 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: DOI程序
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 (英语) Zbl 1263.68112号 J.计算。系统。科学。 78,编号2441-460(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人,J.计算。系统。科学。78,No.2,441--460(2012;Zbl 1263.68112) 全文: DOI程序
安东内拉·桑顿;吉利奥拉·瓦格利尼 Java字节码时态模型检查的本地方法。 (英语) Zbl 1068.68082号 J.计算。系统。科学。 70,第2期,258-281(2005).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},J.Compute。系统。科学。70,第2号,258--281(2005;Zbl 1068.68082) 全文: DOI程序
卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 欧米伽规则游戏的定量求解。 (英语) Zbl 1093.91001号 J.计算。系统。科学。 68,第2期,374-397(2004).MSC公司:91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{R.Majumdar},J.Compute。系统。科学。68,编号2374-397(2004年;兹bl 1093.91001) 全文: DOI程序
雷诺兹,M。 在一般线性时间内,带有“直到”的时序逻辑的复杂性。 (英语) Zbl 1019.03014号 J.计算。系统。科学。 66,第2期,393-426(2003).MSC公司:03B44号 2017年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},J.计算。系统。科学。66,第2号,393--426(2003;Zbl 1019.03014) 全文: DOI程序
沃尔克·迪克特;保罗·加斯廷 对于Mazurkiewicz轨迹,LTL是非常完整的。 (英语) Zbl 1013.68130号 J.计算。系统。科学。 64,第2期,396-418(2002).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin},J.Compute。系统。科学。64,第2号,396--418(2002;Zbl 1013.68130) 全文: DOI程序
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿;吉利奥拉·瓦格利尼 过渡系统的选择性微积分和基于公式的等价。 (英语) Zbl 0958.68122号 J.计算。系统。科学。 59,第3期,537-556(1999).MSC公司:68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《计算杂志》。系统。科学。59,第3号,537--556(1999;Zbl 0958.68122) 全文: DOI程序 链接
简·乔米奇;达米安·尼文斯基 关于检查时间完整性约束的可行性。 (英语) Zbl 0839.68094号 J.计算。系统。科学。 51,第3期,523-535(1995).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.乔米奇}和\textit{D.尼文斯基},J.计算机。系统。科学。51,编号3523-535(1995年;Zbl 0839.68094) 全文: DOI程序 链接
服部,高石 时序逻辑的时间提取——逻辑编程和本地处理时间。 (英语) Zbl 0816.68042号 J.计算。系统。科学。 49,第1号,40-56(1994). 审核人:M.Gabbrielli(比萨) MSC公司:第68页第17页 03B70号 68问题55 68甲15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hattori},J.计算机。系统。科学。49,编号1,40-56(1994;Zbl 0816.68042) 全文: DOI程序
乔·科恩;多米尼克·佩林;销,Jean-Eric 关于时间逻辑的表达能力。 (英语) Zbl 0784.03014号 J.计算。系统。科学。 46,第3期,271-294(1993). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:03B45号 65年第68季度 2010年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Cohen}等人,J.Compute。系统。科学。46,第3号,271--294(1993;Zbl 0784.03014) 全文: DOI程序
乌日琴,Paweł “During”不能用“after”表示。 (英语) Zbl 0607.03008号 J.计算。系统。科学。 32, 97-104 (1986). 审核人:J.Hořejš MSC公司:03B70号 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},J.计算。系统。科学。32、97——104(1986年;Zbl 0607.03008) 全文: DOI程序
约翰·雷夫;西斯特拉,A.P。 具有时间和空间模式的多进程网络逻辑。 (英语) Zbl 0565.68031号 J.计算。系统。科学。 30, 41-53 (1985). 审核人:S.Miura公司 MSC公司:68问题65 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Reif}和\textit{A.P.Sistla},J.Comput。系统。科学。30、41-53(1985年;Zbl 0565.68031) 全文: DOI程序
Kröger,F。 时序逻辑中的广义下一时间运算符。 (英语) Zbl 0551.68032号 J.计算。系统。科学。 29, 80-98 (1984).MSC公司:68问题65 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger},J.计算。系统。科学。29、80-98(1984年;Zbl 0551.68032) 全文: DOI程序
大卫·哈雷;德克斯特·科赞;罗希特·帕里赫 过程逻辑:表达性、可决定性、完整性。 (英语) Zbl 0494.03016号 J.计算。系统。科学。 25, 144-170 (1982).MSC公司:03B45号 68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,J.Compute。系统。科学。25144--170(1982;Zbl 0494.03016) 全文: DOI程序