@在集合{zbMATH06309651中，作者={Bae，Kyungmin and Meseguer，Jos{\'e}}，Title={重写的线性时序逻辑的基于重写的模型检查器}，BookTitle={第九届基于规则的编程国际研讨会（rule 2008），奥地利哈根堡哈根堡城堡，2008年7月14日至18日}，页码={19--36}，年份={2012}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2012.11.009}，关键词={68Q60,03B44,68Q42}，zbMATH={6309651}，Zbl={1291.68244}}