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公司 94426-435（2018）.MSC公司：93个B03 93元65角 93E03型 93C05型 93立方厘米 93-04 PDF格式BibTeX公司 XML格式引用 \textit{R.M.F.Cándido}等人，Automatica 94，426--435（2018；Zbl 1401.93027） 全文： 内政部
卡琳·夸斯;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔 重温时间自动机中的可达性。 （英语） 兹比尔1457.68147 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017；Zbl 1457.68147） 全文： arXiv公司 链接
迪基·阿兹基亚;张以宁;亚历山德罗·阿巴特 VeriSIMPL 2型：用于验证max-plus-linear系统的开源软件。 （英语） Zbl 1332.93255号 离散事件动态。系统。 第1109-145号第26页（2016年）.MSC公司：93元65角 93-04 05C90年 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） 全文： 内政部
马蒂亚斯·佩隆;尼古拉斯·哈尔巴赫斯 一个抽象域，扩展了具有不等量约束的差分边界矩阵。 （英语） Zbl 1132.68464号 Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。第八届国际会议，2007年VMCAI，法国尼斯，2007年1月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349268-282（2007）。MSC公司：68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Péron}和\textit{N.Halbwachs}，莱克特。注释计算。科学。4349268--282（2007年；Zbl 1132.68464） 全文： 内政部