编辑配置文件(在新选项卡中打开) 凯文·埃尔芬斯通 合著者距离 作者ID: 埃尔芬斯通·凯文 发布日期: 凯文·埃尔芬斯通 已编制索引的文档: 1出版物自2009年起 合著者: 2合著者具有1联合出版物 39位合作作者 合著者 0 单作者的 1 菲利普·德林 1 格温·克莱恩 系列 字段 1 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 经验报告:seL4,正式验证高性能微内核。 Zbl 1302.68090号 格温·克莱恩;菲利普·德林;凯文·埃尔芬斯通 1 2009 经验报告:seL4,正式验证高性能微内核。 Zbl 1302.68090号 格温·克莱恩;菲利普·德林;凯文·埃尔芬斯通 1 2009 4位作者引用 1 马修·乔治诺 1 拉尔夫·马修斯 1 潘特尔,马克 1 马丁·斯特雷克 0连载引用 在2个字段中引用 1 组合数学(05-XX) 1 计算机科学(68-XX) 按年份列出的引文