马塞多,努诺;朱利安·布鲁内尔;戴维·谢穆伊尔;库尼亚,阿尔西诺 Pardinus:时间关系模型查找器。 (英语) Zbl 1512.68158号 J.汽车。推理 66,第4号,861-904(2022).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人,J.Autom。推理66,No.4,861--904(2022;Zbl 1512.68158) 全文: 内政部 哈尔
丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 (英语) Zbl 1279.68226号 J.汽车。推理 48,第1号,1-42(2012).MSC公司:60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini},J.Autom。推理48,No.1,1--42(2012;Zbl 1279.68226) 全文: 内政部