@第{zbMATH07286333条，作者={Sharma，Arpit}，Title={非确定性随机系统等价项的线性时间分支时间谱}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={850}，页码={148--167}，年份={2021}，语言={英语}，DOI={10.1016/j.tcs.2020.11.001}，关键词={68Q85,03B44,60J20,68Q87}，zbMATH={7286333}，Zbl={1464.68263}}