@收款{zbMATH01424021，作者={Schneider，Klaus和Hoffmann，Dirk W.}，标题={将线性时间时序逻辑转换为{{\（\omega\）}}-自动机}的{HOL}转换，BookTitle={高阶逻辑中的定理证明。第12届国际会议，TPHOL'99。1999年9月14日至17日，法国尼斯。诉讼}，国际标准图书编号={3-540-66463-7}，页码={255--272}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={03B35,68T15,03B44,68Q60,03D05}，zbMATH={1424021}，Zbl={0943.03008}}