@InCollection{zbMATH07172789，作者=｛Olderog，Ernst-R｛\“u”diger和Schwammberger，Maike｝，标题={用时间自动机形式化危险警告通信协议}，BookTitle={模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章}，国际标准图书编号={978-3-319-63120-2；978-3-3169-63121-9}，页码={640--660}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-319-63121-9_32}，关键词={68M12,68Q45,90B20,93C85}，zbMATH={7172789}，Zbl={1431.68011}}