Clément伯特兰;弗雷德里克·佩申斯基;汉娜·克劳代尔;马蒂厄·拉塔比 链路流中的模式匹配:具有有限内存的时间自动机。 (英语) Zbl 1424.68083号 科学。Ann.计算。科学。 28,第2期,161-198(2018).MSC公司:65年第68季度 68问题85 68吨10 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertrand}等人,科学。Ann.计算。科学。28,第2号,161--198(2018;Zbl 1424.68083) 全文: 内政部
雷纳托·马凯尔·费雷拉(Renato Markele Ferreira)·坎迪多;劳伦特·哈杜因;穆迪·卢姆缪;拉斐尔·桑托斯·门德斯 不确定最大加线性系统的条件可达性。 (英语) Zbl 1401.93027号 Automatica公司 94, 426-435 (2018).MSC公司:93个B03 93立方65 93电子03 93二氧化碳 第93页第41页 93-04 PDF格式BibTeX公司 XML格式引用 \textit{R.M.F.Cândido}等人,《自动化》9426-435(2018;Zbl 1401.93027) 全文: 内政部
迪基·阿兹基亚;张以宁;亚历山德罗·阿巴特 VeriSIMPL 2型:用于验证max-plus-linear系统的开源软件。 (英语) Zbl 1332.93255号 离散事件动态。系统。 26,第1号,109-145(2016).MSC公司:93立方65 93-04 05摄氏90度 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人,离散事件动态。系统。26,第1号,109--145(2016;Zbl 1332.93255) 全文: 内政部
迪基·阿兹基亚;巴特·德·舒特;亚历山德罗·阿巴特 Max-Plus-线性系统可达性分析的计算技术。 (英语) Zbl 1371.93035号 Automatica公司 53, 293-302 (2015).MSC公司:93个B03 93立方65 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人,Automatica 53,293--302(2015;Zbl 1371.93035) 全文: 内政部
萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 并发定时系统路径条件的自动生成。 (英语) Zbl 1293.68201号 西奥。计算。科学。 404,第3号,275-292(2008).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Theor。计算。科学。404,第3号,275--292(2008;Zbl 1293.68201) 全文: 内政部