@第{zbMATH07037617条，作者={Brengos，Tomasz和Peressotti，Marco}，标题={定时系统的行为等效}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={15}，数字={1}，页码={41}，注={Id/No 17}，年份={2019}，语言={英语}，关键词={68Q85,18B20,68Q45}，zbMATH={7037617}，Zbl={1407.68331}}