劳拉·佐丹奴;阿尔贝托·马泰利;马蒂奥·斯皮奥塔;丹尼尔·塞塞德尔·杜普雷 使用约束时态答案集编程进行业务流程验证。 (英语) Zbl 1298.68174号 理论与实践。日志。程序。 13,No.4-5,641-655(2013). 审核人:贾纳·科勒(卢塞恩) MSC公司:60年第68季度 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13、编号4--5、641--655(2013;Zbl 1298.68174) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 使用临时答案集推理操作。 (英语) Zbl 1267.68081号 理论与实践。日志。程序。 2013年第2期第13页,201-225页.MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13,第2号,201--225(2013;Zbl 1267.68081) 全文: 内政部 arXiv公司