法比奥·加杜奇;蒂莫·凯勒 通过图形和图形转换对计算系统进行规范和建模。 (英文) Zbl 07741964号 J.日志。阿尔盖布。方法计划。 135,文章ID 100905,2 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{T.Kehrer},J.Log。阿尔盖布。方法计划。135,文章ID 100905,2 p.(2023;Zbl 07741964) 全文: 内政部
Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英文) Zbl 1455.68087号 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,17 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接
法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;巴伦西亚,弗兰克·D。 软并发约束规划的观察和行为等效性。 (英文) Zbl 1373.68176号 J.日志。阿尔盖布。方法计划。 92, 45-63 (2017).MSC公司:68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人,J.Log。阿尔盖布。方法计划。92、45-63(2017年;Zbl 1373.68176) 全文: 内政部