@第{zbMATH01715775条，作者={L'Her，D.和Parc，P.L.和Marc{\'e}，L.}，标题={使用时间自动机证明顺序功能图程序}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={267}，数字={1-2}，页码={141--155}，年份={2001}，语言={英语}，DOI={10.1016/S0304-3975（00）00301-7}，关键词={68Q45}，zbMATH={1715775}，Zbl={0984.68101}}