丹尼尔·格布勒;西蒙·蒂尼 一致连续操作员的SOS规范。 (英语) Zbl 1380.68296号 J.计算。系统。科学。 92, 113-151 (2018).MSC公司:68问题85 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}和\textit{S.Tini},J.Compute。系统。科学。92、113--151(2018年;Zbl 1380.68296) 全文: DOI程序
巴布亚州索波辛斯基 相关预升、基底变化和弱模拟。 (英语) Zbl 1327.68170号 J.计算。系统。科学。 81,5号,901-910(2015).MSC公司:68问题85 18层20 PDF格式BibTeX公司 XML格式引用 \textit{P.Sobocinnski},J.计算。系统。科学。81,第5号,901--910(2015;Zbl 1327.68170) 全文: 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 1277.68216号 J.计算。系统。科学。 80,第2期,323-345(2014).MSC公司:87年第68季度 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Abbasi}等人,J.Compute。系统。科学。80,第2号,323--345(2014;Zbl 1277.68216) 全文: DOI程序
缪尔纳,尼尔斯;奥利弗·泰尔;马丁·范策尔 结合分解和约简对自稳定系统进行状态空间分析。 (英语) Zbl 1311.68029号 J.计算。系统。科学。 79,第7期,1113-1125(2013).MSC公司:64岁以下 60年20日 68米15 60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Müllner}等人,《计算杂志》。系统。科学。79,编号7,1113--1125(2013;Zbl 1311.68029) 全文: DOI程序
马丁·库特里布;安德烈亚斯·马尔彻 可逆下推自动机。 (英语) Zbl 1250.68166号 J.计算。系统。科学。 78,第6期,1814-1827(2012).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},J.Compute。系统。科学。78,No.6,1814--1827(2012;Zbl 1250.68166) 全文: DOI程序
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: DOI程序
奥利维尔·丹维;雅各布·约翰森 面向对象编程的交互派生语义工件。 (英语) Zbl 1206.68079号 J.计算。系统。科学。 76,第5期,302-323(2010).MSC公司:68甲19 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{J.Johannsen},J.Comput。系统。科学。76,第5号,302-323(2010;Zbl 1206.68079) 全文: DOI程序