扎尼斯·阿内夫拉维斯;保罗·塔布阿达 计算受控不变集的简单层次结构。 (英语) Zbl 07300864号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第23条,第11页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}和\textit{P.Tabuada},摘自:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第23条,第11页(2020;Zbl 07300864) 全文: 内政部
扎尼斯·阿内夫拉维斯;尼尔,丹尼尔;马修·菲利普;保罗·塔布阿达 埃夫罗斯托斯。rLTL验证器。 (英语) 兹伯利07120157 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。218-223 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Aneflavis}等人,在:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16日至18日。纽约州纽约市:计算机协会(ACM)。218-223(2019;Zbl 07120157) 全文: 内政部