编辑配置文件（在新选项卡中打开） 布鲁斯·沃克。 合著者距离 作者ID： 步行者.bruce-j 发布日期： 布鲁斯·沃克。 已编制索引的文档： 1出版物自1980年以来 合著者： 2位合著者具有1联合出版物 35位合作作者 合著者 0 单作者的 1 理查德·凯默勒（Richard A.Kemmer）。 1 杰拉尔德·波佩克。 系列 1 ACM通信 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用6中的次5文件 引用人▼ 年份▼ UCLA Unix安全内核的规范和验证。 Zbl 0427.68032号 布鲁斯·沃克。;理查德·凯默勒（Richard A.Kemmer）。;杰拉尔德·波佩克。 6 1980 UCLA Unix安全内核的规范和验证。 Zbl 0427.68032号 布鲁斯·沃克。;理查德·凯默勒（Richard A.Kemmer）。;杰拉尔德·波佩克。 6 1980 全部的 前5名11位作者引用 3 格温·克莱恩 2 托马斯·D·休厄尔。 1 Andronick，六月 1 公鸡，大卫 1 彼得·甘米 1 A.N.马斯洛夫。 1 托比·默里 1 亨德里克·图斯 1 马库斯·韦尔普 1 Tjark韦伯 1 西蒙·温伍德 引用于3个系列 1 苏联数学杂志 1 自动推理杂志 1 萨达纳 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文