@第{zbMATH05952428条，作者={Shu，Ting and Sun，Shouqian and Wang，Haining and Xu，Weiqiang}，Title={EFSM}模型中可执行状态标识序列的自适应生成算法}，FJournal={浙江大学学报.工程科学}，学报={浙江大学工程科学版}，ISSN={1008-973X}，体积＝{44}，数字={11}，页码={2183--21872213}，年份={2010}，语言={中文}，DOI={10.3785/j.issn.1008-973X.2010.11.025}，关键词={68T05,68R10}，zbMATH={5952428}，Zbl={1240.68208}}