@第{zbMATH07314497条，作者={Zhirabok，A.N.和Kalinia，N.A.和Shumskii，A.E.}，标题={非确定性有限状态机的功能诊断方法}，FJournal={国际计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.Int.}，ISSN={1064-2307}，体积={59}，数字={4}，页码={565--574}，年份={2020}，语言={英语}，DOI={10.1134/S1064230720040152}，关键词={93B30,93B25}，zbMATH={7314497}，Zbl={1459.93038}}