@收款{zbMATH07807949，作者={Debauche，Virginie and Della Rossa，Matteo and Jungers，Rapha，Title={具有附加闭合模板的路径完备稳定性证书的排序特征}，BookTitle={第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日-12日}，国际标准图书编号={979-8-4007-0033-0}，页码={10}，注={Id/No 8}，年份={2023}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI＝{10.1145/3575870.3587114}，关键词={68Q45,68Q60,93C30}，zbMATH={7807949}}