约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;Møller、Mikael Harkjær;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 (英语) Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: 内政部
王法恩 基于时间凸性分析的稠密时间系统的高效模型检验。 (英语) Zbl 1279.68222号 西奥。计算。科学。 467, 89-108 (2013).MSC公司:60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Wang},Theor。计算。科学。467,89--108(2013;Zbl 1279.68222) 全文: 内政部
哈尼法·布切内布;纪尧姆·加迪;奥利维尔·H·鲁克斯。 时间Petri网的TCTL模型检验。 (英语) Zbl 1188.68182号 J.日志。计算。 19,第6期,1509-1540(2009).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}等人,J.Log。计算。19,编号61509-1540(2009年;兹bl 1188.68182) 全文: 内政部 哈尔
拉希德·哈吉吉;哈尼法·布切内布 时间Petri网的即时(TCTL)模型检查。 (英语) Zbl 1186.68292号 西奥。计算。科学。 410,第42号,4241-4261(2009).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hadjidj}和\textit{H.Boucheneb},Theor。计算。科学。410,编号42,4241--4261(2009;Zbl 1186.68292) 全文: 内政部
L’Her,D。;帕尔克,P.L。;Marcé,L。 使用时间自动机证明顺序功能图程序。 (英语) Zbl 0984.68101号 西奥。计算。科学。 267,编号1-2,141-155(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L'Her}等人,Theor。计算。科学。267,编号1--2,141-155(2001;Zbl 0984.68101) 全文: 内政部
王法恩 实时系统的参数定时分析。 (英语) Zbl 0872.68041号 Inf.计算。 130,第2期,131-150(1996).MSC公司:2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang},Inf.计算。130,第2号,131--150(1996;Zbl 0872.68041) 全文: 内政部 链接