@第{zbMATH00205352条，作者={Cleaveland，Rance and Steffen，Bernhard}，Title={无交互模态微积分的线性时间模型检查算法}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={2}，数字={2}，页码={121--147}，年份={1993}，语言={英语}，DOI={10.1007/BF01383878}，关键词={68Q10,03B45}，zbMATH={205352}，Zbl={0772.68038}}