@文章{zbMATH07246555，作者={Menghi，Claudio and Bersani，Marcello M.and Rossi，Matteo and Pietro，Pierluigi San}，Title={定时自动机上的模型检查{MITL}公式。{A} 基于逻辑的方法}，FJournal={ACM计算逻辑事务}，Journal＝｛ACM事务计算日志｝，ISSN={1529-3785}，体积={21}，数字＝｛3｝，页码={44}，注={Id/No 26}，年份={2020年}，语言={英语}，DOI={10.1145/3383687}，关键词={68Q60,03B44,68Q45}，zbMATH={7246555}，Zbl={1446.68095}}