伊斯兰,马里兰州Ariful;兰斯·克莱维兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·L·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 (英语) 兹比尔1427.92054 西奥。计算。科学。 765, 158-169 (2019).MSC公司:92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人,Theor。计算。科学。765158-169(2019年;Zbl 1427.92054) 全文: 内政部
安德鲁·索戈孔;保罗·B·杰克逊。 连续和混合动力系统活性性质的直接形式化验证。 (英语) Zbl 1427.68174号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 514-531 (2015).MSC公司:60年第68季度 34A34飞机 34A38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}和\textit{P.B.Jackson},莱克特。注释计算。科学。9109514--531(2015;Zbl 1427.68174) 全文: 内政部 链接