Adzkiya,迪基;张以宁;亚历山德罗·阿巴特 VeriSIMPL 2型:用于验证max-plus-linear系统的开源软件。 (英语) Zbl 1332.93255号 离散事件动态。系统。 第1109-145号第26页(2016年).MSC公司:93元65角 2004年3月 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人,离散事件动态。系统。26,第1号,109--145(2016;Zbl 1332.93255) 全文: 内政部
Adzkiya,迪基;巴特·德·舒特;亚历山德罗·阿巴特 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) 全文: 内政部