@第{zbMATH07300313条，作者={王，齐生和刘，俊一和应，明生}，Title={量子有限状态机的等价性检查}，FJournal={计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.}，ISSN={0022-0000}，体积={116}，页码={1--21}，年份={2021}，语言={英语}，DOI={10.1016/j.jcss.2020.08.004}，关键词={68Q45,81P68}，zbMATH={7300313}，Zbl={1511.68141}}