@第{zbMATH07165871条，作者＝｛Ferr｝e｝re，Thomas和Maler，Oded和Ni｛v｛c｝kovi｛c｝，Dejan和Pnueli，Amir｝，标题={从实时逻辑到时间自动机}，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积={66}，数字＝｛3｝，页码={31}，注={Id/No 19}，年份={2019}，语言={英语}，DOI={10.1145/3286976}，关键词={68Q60,03B44,68Q45}，zbMATH={7165871}，Zbl={1473.68107}}