德波尔(Frank S。;伊莫·格雷布;马丁·斯特芬 活动对象的终止检测。 (英语) Zbl 1243.68221号 J.日志。阿尔盖布。程序。 81,第4期,541-557(2012).MSC公司:68问题85 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Log。阿尔盖布。程序。81,第4号,541--557(2012;Zbl 1243.68221) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 IMC的静态分析。 (英语) Zbl 1243.68220号 J.日志。阿尔盖布。程序。 81,第4期,522-540(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}等人,J.Log。阿尔盖布。程序。81,第4号,522--540(2012;Zbl 1243.68220) 全文: 内政部
拉尔斯·比克达尔;克里斯蒂安·斯特夫林;雅各布·塔姆斯堡 高阶有状态ADT的关系可实现性模型。 (英语) Zbl 1279.68227号 J.日志。阿尔盖布。程序。 81,第4期,491-521(2012).MSC公司:68问题65 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,J.Log。阿尔盖布。程序。81,第4号,491--521(2012;Zbl 1279.68227) 全文: 内政部
克里斯蒂安·普里萨卡里奥;Gerardo Schneider公司 复杂合同的动态道义逻辑。 (英语) Zbl 1258.03024号 J.日志。阿尔盖布。程序。 81,第4期,458-490(2012). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Prisacariu}和\textit{G.Schneider},J.Log。阿尔盖布。程序。81,No.4,458--490(2012;Zbl 1258.03024) 全文: 内政部
阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 在MDE中规范和转换约束的正式方法。 (英语) Zbl 1246.68098号 J.日志。阿尔盖布。程序。 81,第4期,422-457(2012).MSC公司:68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rutle}等人,J.Log。阿尔盖布。程序。81、第4号、422--457(2012;Zbl 1246.68098) 全文: 内政部
Juhl,Line公司;Larsen,Kim G。;斯尔巴,吉里耶 具有重量间隔的模态转换系统。 (英语) Zbl 1243.68215号 J.日志。阿尔盖布。程序。 81,第4期,408-421(2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人,J.Log。阿尔盖布。程序。81,编号408-421(2012年;兹bl 1243.68215) 全文: 内政部
弗兰茨·沃塔瓦;米海·尼卡;尤利亚·莫拉鲁 基于程序约束模型和测试用例的自动调试。 (英语) 兹比尔1246.68102 J.日志。阿尔盖布。程序。 81,第4期,390-407(2012).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Wotawa}等人,J.Log。阿尔盖布。程序。81,第4号,390--407(2012;Zbl 1246.68102) 全文: 内政部 OA许可证
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) 兹比尔1277.68219 J.日志。阿尔盖布。程序。 81,第4期,356-389(2012).MSC公司:87年第68季度 60年第68季度 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。阿尔盖布。程序。81,第4号,356--389(2012;Zbl 1277.68219) 全文: 内政部
M.R.汉森。(编辑) 特刊:第21届北欧规划理论研讨会(NWPT 2009)。2009年10月14日至16日,丹麦林格比,根据研讨会上的陈述选择论文。 (英语) Zbl 1246.68038号 J.日志。阿尔盖布。程序。81,第4期,355-557(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式