金、项羽;安、杰;詹伯华;詹乃军;张苗苗 推断切换非线性动力系统。 (英语) Zbl 1521.93036号 正式Asp。计算。 33,第3号,385-406(2021).MSC公司:93B30型 93立方 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Jin}等人,正式Asp。计算。33,编号3,385--406(2021;Zbl 1521.93036) 全文: 内政部
卡拉姆Abd Elkader;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;沙龙·肖姆 自动循环假设保证推理。 (英语) Zbl 1395.68184号 正式Asp。计算。 第571-595号(2018)第30页.MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Abd Elkader}等人,正式Asp。计算。30,第5号,571--595(2018;Zbl 1395.68184) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔 关于故障信道机的终止性和不变性。 (英语) Zbl 1259.68142号 正式Asp。计算。 24,第4-6号,595-607(2012).MSC公司:68问题85 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,正式Asp。计算。24,编号4--6595-607(2012年;兹bl 1259.68142) 全文: 内政部
西蒙·巴姆勒;格哈德·谢尔霍恩;博格丹托凡;沃尔夫冈·雷夫 用时序逻辑证明线性化能力。 (英语) Zbl 1214.68209号 正式Asp。计算。 23,第1期,91-112(2011).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bäumler}等人,正式Asp。计算。23,第1号,91--112(2011;Zbl 1214.68209) 全文: 内政部 链接
Tsay,Yih-Kuen先生;陈玉芳;蔡明勋;吴康宁;陈文钦;罗志坚;张进淑 支持学习Büchi自动机和线性时序逻辑的工具。 (英语) Zbl 1165.68040号 正式Asp。计算。 21,第3期,259-275(2009).MSC公司:65年第68季度 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}等人,正式Asp。计算。21,第3号,259--275(2009;Zbl 1165.68040) 全文: 内政部