@第{zbMATH07067575条，作者={Islam，马里兰州Ariful和Cleaveland，Rance和Fenton，Flavio H.和Grosu，Radu和Jones，Paul L.和Smolka，Scott A.}，Title={心脏交替多参数分岔分析的概率可达性}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={765}，页码={158--169}，年份={2019}，语言={英语}，DOI＝{10.1016/j.tcs.2018.02.005}，关键词={92C55,34C23,93B03}，zbMATH={7067575}，Zbl={1427.92054}}