@第{zbMATH07601539条，作者={Xu，Ming and Fu，Jianling and Mei，Jingyi and Deng，Yuxin}，Title={量子{Markov}链上基于可信度的模型检验的代数方法}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={935}，页码={61--81}，年份={2022}，语言={英语}，DOI={10.1016/j.tcs.2022.08.016}，关键词={68Qxx}，zbMATH={7601539}}