安托万·莫特特;卡琳·夸斯 明确的寄存器自动机和明确的时间自动机的包含问题。 (英语) Zbl 1517.68207号 理论计算。系统。 65,第4号,706-735(2021).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mottet}和\textit{K.Quaas},理论计算。系统。65,编号4,706--735(2021;Zbl 1517.68207) 全文: 内政部
拉克希米·马纳萨;桑卡拉·纳拉亚南·克里希纳;钦梅耆那岛 模型检查加权整数重置时间自动机。 (英语) Zbl 1217.68139号 理论计算。系统。 48,第3期,648-679(2011).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Manasa}等人,理论计算。系统。48,第3号,648--679(2011;Zbl 1217.68139) 全文: 内政部