编辑配置文件（在新选项卡中打开） 菲利普·德林 合著者距离 作者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） 按年份列出的引文