穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) 兹比尔1329.68169 J.日志。代数。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 2010年第68季度 第68季度第42季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.日志。代数。方法计划。84,第4号,505--533(2015;Zbl 1329.68169) 全文: DOI程序 OA许可证
莫里斯·比克。;格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。代数。程序。 78,第4191-232号(2009年).MSC公司:60年第68季度 03B44号 68号30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。代数。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: DOI程序