奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 求具有循环行为的时间自动机模型的最小和最大终止时间。 (英语) Zbl 1357.68109号 西奥。计算。科学。 665, 87-104 (2017).MSC公司:60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al-Bataineh}等人,Theor。计算。科学。665,87-104(2017年;兹bl 1357.68109) 全文: 内政部 arXiv公司 链接
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 (英语) Zbl 1328.68108号 正式Asp。计算。 27,编号5-6,917-949(2015).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al Bataineh}等人,正式Asp。计算。27,编号5--6917--949(2015;Zbl 1328.68108) 全文: 内政部
埃蒂安·安德烈;刘,杨;孙骏;董金松 分层并发实时系统的参数综合。 (英语) Zbl 1314.68081号 实时系统。 50,编号5-6,620-679(2014).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《实时系统》。50、编号5--6、620--679(2014;Zbl 1314.68081) 全文: 内政部 链接
金·古德斯特兰·拉森;雅各布·伊勒姆拉斯穆森 多值时间自动机的最优可达性。 (英语) Zbl 1134.68029号 西奥。计算。科学。 390,编号2-3,197-213(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{J.I.Rasmussen},Theor。计算。科学。390,编号2--3,197-213(2008;Zbl 1134.68029) 全文: 内政部