尼尔·德鲁克;何希明;约尔·瓦克宁;米查尔·佩恩;斯特里赫曼(Ofer Strichman) 无人机的循环路线。 (英文) Zbl 1423.68445号 J.计算。系统。科学。 103, 18-45 (2019).MSC公司:68T20型 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Drucker}等人,《计算杂志》。系统。科学。103、18-45(2019年;Zbl 1423.68445) 全文: 内政部 链接
约翰·费恩利;多龙·贝利德;斯文·舍韦 简洁系统的合成。 (英文) Zbl 1320.68078号 J.计算。系统。科学。 81,第7期,1171-1193(2015).MSC公司:2005年第68季度 2015年第68季度 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人,J.Compute。系统。科学。81,第7号,1171--1193(2015;Zbl 1320.68078) 全文: 内政部 arXiv公司
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英文) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英文) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部