格雷戈·戈斯勒;Xu,Dana N。;阿兰·吉拉尔 基于组件的设计的概率契约。 (英语) Zbl 1284.68435号 形式方法系统。设计。 41,第2期,211-231(2012).MSC公司:87年第68季度 64岁以下 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gössler}等人,《形式方法系统》。设计。41,第2号,211--231(2012;Zbl 1284.68435) 全文: 内政部
阿尔加莱、杰德 弱记忆模型的形式层次结构。 (英语) 兹比尔1284.68157 形式方法系统。设计。 41,第2期,178-210(2012).MSC公司:68号30 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Algale},形式方法系统。设计。41,第2号,178--210(2012;Zbl 1284.68157) 全文: 内政部
莫里茨·马滕斯;米拉·卡德巴姆少校 具有架构约束的组件系统中的死锁自由。 (英语) Zbl 1284.68043号 形式方法系统。设计。 41,第2期,129-177(2012).MSC公司:2007年7月68日 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Martens}和\textit{M.Majster-Cederbaum},《形式方法系统》。设计。41,第2号,129--177(2012;Zbl 1284.68043) 全文: 内政部