戈帕拉克里希南,Ganesh L。(编辑);沙兹·卡迪尔(编辑) 前言。 (英语) Zbl 1284.68015号 形式方法系统。设计。 41,第1、3号(2012)。MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan}(编辑)和\textit{S.Qadeer}(编),《形式方法系统》。设计。41、第1、3号(2012;Zbl 1284.68015) 全文: 内政部
陈晓芳;杨瑜(Yang,Yu);加内什·戈帕拉克里什南;周庆孙 形式化验证分层缓存一致性协议安全属性的有效方法。 (英语) Zbl 1209.68314号 形式方法系统。设计。 36,第1期,37-64(2010)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,《形式方法系统》。设计。36,编号1,37-64(2010年;Zbl 1209.68314) 全文: 内政部
拉维·霍萨贝图;加内什·戈帕拉克里什南;斯利瓦斯,曼达扬 复杂流水线处理器的形式化验证。 (英语) Zbl 1057.68062号 形式方法系统。设计。 23,第2期,171-213(2003)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Hosabettu}等人,《形式方法系统》。设计。23,第2号,171--213(2003;Zbl 1057.68062) 全文: 内政部
拉坦,纳卢马苏;加内什·戈帕拉克里什南 一种高效的部分降阶算法,具有替代性的但书实现。 (英语) Zbl 1017.68069号 形式方法系统。设计。 20,第3期,231-247(2002)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Nalumasu}和\textit{G.Gopalakrishnan},《形式与方法系统》。设计。20,第3号,231--247(2002;Zbl 1017.68069) 全文: 内政部
拉坦,纳卢马苏;加内什·戈帕拉克里什南 通过细化导出高效的缓存一致性协议。 (英语) Zbl 0989.68006号 形式方法系统。设计。 20,第107-125号(2002年)。MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{R.Nalumasu}和\textit{G.Gopalakrishnan},《形式与方法系统》。设计。20,第1号,107--125(2002;Zbl 0989.68006) 全文: 内政部