马克斯·戈德曼;艾米莉亚·卡茨;Shmuel Katz MAVEN:模块化方面验证和干扰分析。 (英语) Zbl 1207.68206号 形式方法系统。设计。 37,第1期,61-92(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldman}等人,《形式方法系统》。设计。37,编号1,61-92(2010;Zbl 1207.68206) 全文: 内政部
Shmuel Katz 时间属性的方面类别和类。 (英语) Zbl 1165.68363号 Rashid,Awais(ed.)等人,《面向方面软件开发学报》I.柏林:施普林格出版社(ISBN 978-3-540-32972-5/pbk)。计算机科学讲义3880。《期刊副刊》,106-134(2006)。MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz},莱克特。票据计算。科学。3880、106--134(2006年;Zbl 1165.68363) 全文: 内政部
Shmuel Katz;肯尼思·佩里。 消息传递系统的自我稳定扩展。 (英语) Zbl 1282.68077号 分布计算。 7,第1期,17-26(1993).MSC公司:68M10个 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{K.J.Perry},分布计算。7,第1号,17--26(1993;Zbl 1282.68077) 全文: 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 (英语) Zbl 0773.68053号 分布计算。 6,第2期,107-120(1992).MSC公司:60年第68季度 68宽15 第68季度55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},分布计算。6,编号2,107-120(1992;Zbl 0773.68053) 全文: 内政部
Shmuel Katz;多龙·贝利德 使用折叠定义条件独立性。 (英语) Zbl 0769.68082号 西奥。计算。科学。 101,第2期,337-359(1992).MSC公司:第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},Theor。计算。科学。101,第2号,337--359(1992;Zbl 0769.68082) 全文: 内政部
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 (英语) Zbl 0718.03014号 西奥。计算。科学。 75,第3期,263-287(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B45 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},Theor。计算。科学。75,第3号,263--287(1990;Zbl 0718.03014) 全文: 内政部
Krzysztof R.阿普特。;尼西姆·弗朗西兹;Shmuel Katz 评估分布式编程语言的公平性。 (英语) Zbl 0659.68023号 分布计算。 2,第4期,226-241(1988).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,Distrib.Comput。2,第4号,226--241(1988;Zbl 0659.68023) 全文: 内政部
尼西姆·弗朗西兹;Shmuel Katz 公平性和控制谓词公理。 (英语) Zbl 0647.68014号 国际J并行程序。 16,第4期,263-278(1987).MSC公司:60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{S.Katz},国际J.并行程序。16,第4号,263--278(1987;Zbl 0647.68014) 全文: 内政部
奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 公平终止的完整规则。 (英语) Zbl 0612.68021号 J.计算。系统。科学。 33, 313-332 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《计算杂志》。系统。科学。33、313--332(1986年;Zbl 0612.68021) 全文: 内政部