@收款{zbMATH07222920，作者={Raszyk，Martin and Basin，David and Krsti{\'c}，Sr{\dj}an and Traytel，Dmitriy}，标题={度量时态逻辑的多头监控}，BookTitle={用于验证和分析的自动化技术。第17届国际研讨会，2019年10月28日至31日，台湾台北，ATVA 2019。诉讼}，国际标准图书编号={978-3-030-31783-6；978-3-0.30-31784-3}，页码={151--170}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-31784-3_9}，关键词={68Q60,03B44}，URL={hdl.handle.net/20.50.11850/375995}，zbMATH＝{7222920}，Zbl=｛1437.68119｝}