@收款{zbMATH07196594，作者={Waga，Masaki}，Title={用半环值加权自动机进行在线定量时间模式匹配}，BookTitle={定时系统的正式建模和分析。第17届国际会议，FORMATS 2019，荷兰阿姆斯特丹，2019年8月27日至29日。诉讼程序}，国际标准图书编号={978-3-030-29661-2；978-3-0.30-29662-9}，页码={3--22}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-29662-9_1}，关键词={68W27，68Q45,68Q60}，zbMATH={7196594}，Zbl={1434.68695}}