托马索·德罗西;Thao Dang先生;卡拉广场 多项式动力系统可达性计算。 (英文) Zbl 1360.93084号 表格方法系统。设计。 50,第1期,第1-38页(2017年).MSC公司:93个B03 93C55美元 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Dreossi}等人,《形式方法系统》。设计。50,第1号,1--38(2017;Zbl 1360.93084) 全文: 内政部 链接
A.卡萨格兰德。;德罗西,T。;J·法布里科娃。;C.广场。 \(ε)-生物系统的语义计算。 (英文) Zbl 1312.68127号 Inf.计算。 236, 35-51 (2014).MSC公司:68问题55 65年第68季度 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。23635--51(2014;Zbl 1312.68127) 全文: 内政部