@文章{zbMATH06526775，作者={Bonakdarpour、Borzoo和Kulkarni、Sandeep}，Title={合成有界时间两相故障恢复}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={27}，数字={1}，页码={1--31}，年份={2015年}，语言={英语}，DOI={10.1007/s00165-014-0325-8}，关键词={68N30,68Q25}，zbMATH={6526775}，Zbl={1328.68045}}