彼得·柯林斯 动态系统应用的可计算分析。 (英语) Zbl 1478.03072号 数学。结构。计算。科学。 30,第2期,173-233页(2020年).MSC公司:03D78号 03层60 54B30型 54A05型 93个B03 93B24型 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins},数学。结构。计算。科学。30,第2号,173--233(2020;Zbl 1478.03072) 全文: 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;贝诺·德拉哈耶;Legay、Axel 异构定时机器的动态网络。 (英语) Zbl 1390.68448号 数学。结构。计算。科学。 28,第6号,800-855(2018).MSC公司:70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,《数学》。结构。计算。科学。28,第6号,800--855(2018;Zbl 1390.68448) 全文: 内政部
安娜贝拉·麦克维尔;拉里萨·梅尼基;摩根,卡罗尔 带迭代的Hidden-Markov程序代数。 (英语) Zbl 1362.68052号 数学。结构。计算。科学。 25,第2期,320-360(2015).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,《数学》。结构。计算。科学。25,第2号,320-360(2015;Zbl 1362.68052) 全文: 内政部
达姆,沃纳;汉斯·约格·彼得;詹·拉科夫;伯恩德·韦斯特法尔 我们能否建立它:合作驾驶员辅助系统控制策略的形式化综合。 (英语) Zbl 1269.93067号 数学。结构。计算。科学。 23,第4期,676-725(2013).MSC公司:93C85号 2005年第68季度 60年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,数学。结构。计算。科学。23,第4号,676--725(2013;Zbl 1269.93067) 全文: 内政部
费阿德罗,J.L。;J.F.科斯塔。 镜子,我手中的镜子:过程行为的规范和模型之间的二重性。 (英语) Zbl 0857.68076号 数学。结构。计算。科学。 6,第4期,353-373(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{J.F.Costa},数学。结构。计算。科学。6,第4号,353--373(1996;Zbl 0857.68076) 全文: 内政部