@第{zbMATH06484774条，作者＝{Saboori，Anooshravan和Hadjicostis，Christoforos N.}，Title={离散事件系统安全应用中初始状态不透明度的验证}，FJournal={信息科学}，期刊={信息科学}，ISSN={0020-0255}，体积={246}，页码={115--132}，年份={2013}，语言={英语}，DOI={10.1016/j.ins.2013.05.033}，关键词={68Q60,68Q17,68Q45,68Q85,93B07,93C65}，zbMATH={6484774}，Zbl={1320.68119}}