@第{zbMATH07334854条，作者={Ammar，Ikhlass and El Touati，Yamen and Mullins，John and Yeddes，Moez}，Title={基于定时有界离散化语言的定时有界包含验证}，FJournal={国际计算机科学基础杂志}，日志={Int.J.Found.Comput.Sci.}，ISSN={0129-0541}，体积={32}，数字={2}，页码={175--202}，年份={2021}，语言={英语}，DOI={10.1142/S0129054121500106}，关键词={68Q60,68Q45}，zbMATH={7334854}，Zbl={1458.68111}}