格雷姆·史密斯;克尔斯滕·温特;罗伯特·J·科尔文。 硬件弱内存模型的线性化。 (英语) Zbl 1451.68030号 正式Asp。计算。 32,第1期,第1-32页(2020年).MSC公司:2007年7月68日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}等人,正式Asp。计算。32,第1号,1--32(2020;Zbl 1451.68030) 全文: 内政部
格雷姆·史密斯;克尔斯滕·温特 有关迹线精细化和线性化。 (英语) Zbl 1377.68151号 正式Asp。计算。 29,第6期,935-950(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{K.Winter},正式Asp。计算。29,第6号,935--950(2017;Zbl 1377.68151) 全文: 内政部
李,秦;格雷姆·史密斯 用陈述性的信念和愿望提炼自主主体。 (英语) Zbl 1358.68277号 正式Asp。计算。 29,第2期,227-249(2017).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{G.Smith},正式Asp。计算。29,第2号,227--249(2017;Zbl 1358.68277) 全文: 内政部
约翰·德里克;格雷姆·史密斯 Z求精下的时序逻辑属性保持。 (英语) Zbl 1259.68032号 正式Asp。计算。 24,第3号,393-416(2012).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith},正式Asp。计算。24,第3号,393--416(2012;Zbl 1259.68032) 全文: 内政部
J.W.桑德斯。;格雷姆·史密斯 涌现和精炼。 (英语) Zbl 1242.68170号 正式Asp。计算。 24,第1期,45-65(2012).MSC公司:第68季度第60季度 68克80 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Sanders}和\textit{G.Smith},正式Asp。计算。24,第1号,45-65(2012年;兹bl 1242.68170) 全文: 内政部
埃尔克·博伊滕(编辑);迈克尔·巴特勒(编辑);约翰·德里克(编辑);格雷姆·史密斯(编辑) 特刊:精炼。第十二届BCS-FACS精炼研讨会论文,英国牛津,2007年7月。 (英语) Zbl 1201.68001号 正式Asp。计算。22,第1期,1-81页(2010年)。 MSC公司:68-06 2010年第68季度 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接
格雷姆·史密斯;克尔斯滕·温特 模型检查操作系统改进。 (英语) Zbl 1165.68046号 正式Asp。计算。 21,编号1-2,155-186(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{K.Winter},正式Asp。计算。21,编号1--2,155--186(2009;Zbl 1165.68046) 全文: 内政部
格雷姆·史密斯;约翰·德里克 使用模型检查器验证数据优化。 (英语) Zbl 1105.68074号 正式Asp。计算。 18,第3期,264-287(2006).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{J.Derrick},正式Asp。计算。18,第3号,264--287(2006;Zbl 1105.68074) 全文: 内政部
博伊滕,E。(编辑);J·德里克。(编辑);G.史密斯。(编辑) 集成形式化方法。根据2004年4月4日至7日在英国坎特伯雷举行的第四届综合正式方法会议上的陈述所选论文。 (英语) 兹比尔1102.68304 正式Asp。计算。17,第4号,389-484(2005年)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
约翰·德里克;格雷姆·史密斯 Object-Z和CSP中规定的系统的结构优化。 (英语) Zbl 1093.68602号 正式Asp。计算。 15,第1期,1-27页(2003年).MSC公司:第68季度第60季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith},正式Asp。计算。15,第1号,1--27(2003;Zbl 1093.68602) 全文: 内政部
格雷姆·史密斯;伊恩·海耶斯 Real-Time Object-Z简介。 (英语) Zbl 1066.68080号 正式Asp。计算。 13,第2期,128-141(2002).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{I.Hayes},正式Asp。计算。13,第2号,128--141(2002;Zbl 1066.68080) 全文: 内政部
杜克,罗杰;塞西莉·贝利斯;格雷姆·史密斯 反应对象的阻塞模型。 (英语) Zbl 0852.68012号 正式Asp。计算。 8,第3期,347-368(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Duke}等人,正式Asp。计算。8,第3号,347--368(1996;Zbl 0852.68012) 全文: 内政部