秦旭东；西蒙·布利兹；艾瑞克·马德琳；侯泽晨；邓玉欣；张敏 基于SMT的符号自动机生成。 （英语） 兹比尔1443.68114 学报信息。 57，编号3-5，627-656（2020）.MSC公司：68问题85 65年第68季度 第68季度55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}等人，《学报》第57期，第3--5、627--656号（2020年；Zbl 1443.68114） 全文： 内政部
费雷尔·菲奥里蒂，路易斯·玛丽亚；瓦希德·哈希米；霍尔格·赫尔曼斯；安德烈亚·图里尼 判定概率自动机弱互模拟：理论与实践。 （英语） Zbl 1335.68117号 正式Asp。计算。 28，第1号，109-143（2016）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人，《正式评论》。计算。28，第1号，109--143（2016；Zbl 1335.68117） 全文： 内政部
斯坦利·巴克；塞尔吉·博戈莫洛夫；泰勒·T·约翰逊。 HYST：混合自动机模型的源代码转换和翻译工具。 （英语） 兹比尔1364.68244 第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。128-133 (2015).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。128-133（2015年；Zbl 1364.68244） 全文： 内政部
克拉克·巴雷特；斯特凡·德姆里；Deters，摩根 见证柜台机器的运行。 （英语） Zbl 1397.68122号 Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，120-150（2013）。MSC公司：60年第68季度 03B44号 03英尺30英寸 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，Lect。票据计算。科学。8152、120-150（2013；Zbl 1397.68122） 全文： 内政部 哈尔