@第{zbMATH07148381条，作者={李永明和德罗斯特，曼弗雷德和雷，李辉}，标题={多值系统中线性时间属性的模型检查}，FJournal={信息科学}，期刊={信息科学}，ISSN={0020-0255}，体积={377}，页码={51--74}，年份={2017年}，语言={英语}，DOI={10.1016/j.ins.2016.10.030}，关键词={68Q60,03B50,68Q45,68Q85}，zbMATH={7148381}，Zbl={1428.68188}}