@第{zbMATH06001716条，作者={舒，信丰，段振华}，Title={有限时间投影时序逻辑的完全公理化}，FJournal={软件杂志}，期刊={J.Softw.}，ISSN={1000-9825}，体积={22}，数字={3}，页码={366--380}，年份={2011}，语言={中文}，DOI={10.3724/SP.J.1001.2011.03918}，关键词={68Q60,03B44,68T15}，zbMATH={6001716}，Zbl={1240.68131}}