亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 基于SAT的分离逻辑方法。 (英语) Zbl 1109.68108号 J.汽车。推理 35,编号1-3,237-263(2005).MSC公司:68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Autom。推理35,No.1--3,237--263(2005;Zbl 1109.68108) 全文: 内政部 链接