@第{zbMATH06684419条，作者={Moln{'a}r、Vince和V{“o}r{”o}s、Andr{'aneneneep s和Darvas、D{'a{niel和Bartha、Tam{'aneneneei s和Majzik、Istv，标题={组件级增量{LTL}模型检查}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={28}，数字={3}，页码={345--379}，年份={2016年}，语言={英语}，DOI={10.1007/s00165-015-0347-x}，关键词={68Q60}，URL={eprints.sztaki.hu/8941/}，zbMATH={6684419}，Zbl={1355.68178}}