莱奥·埃克巴德;艾曼纽·菲利奥特;阿伊拉特·哈利莫夫 线性有序数据域上寄存器自动机的Church综合。 (英语) Zbl 07815091号 形式方法系统。设计。 61,编号2-3,290-337(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,《形式方法系统》。设计。61,编号2--3,290-337(2022;Zbl 07815091) 全文: 内政部 arXiv公司 哈尔
朱塞佩·德·贾科莫;安东尼奥·迪·斯塔西奥;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。;朱淑芳 时间合成中的有限跟踪和广义反应性规范。 (英语) Zbl 07815087号 形式方法系统。设计。 61,编号2-3,139-163(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《形式方法系统》。设计。61,编号2--3,139-163(2022;Zbl 07815087) 全文: 内政部 OA许可证