@第{zbMATH02230909条，作者={薛、费、郑、大中、严、鲁}，标题＝{使用{OBDD}的分布式离散事件系统的故障诊断}，FJournal={Informatica（维尔纽斯）}，期刊={Informatica，维尔纽斯}，ISSN={0868-4952}，体积={16}，数字={3}，页码={431--448}，年份={2005}，语言={英语}，关键词={68Q85,93C65}，zbMATH={2230909}，Zbl={1090.68075}}