L4微内核系列 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "L4微内核系列" in Chinese language version.

refsWebsite

Global rank Chinese rank

1^st place

low place

1,475^th place

1,365^th place

low place

gnu.org

http://www.gnu.org/software/hurd/hurd-l4.html. [2006-04-16]. （原始内容存档于2010-12-23）. 外部链接存在于|title= (帮助)

http://l4ka.org/projects/pistachio/. [2006-04-16]. （原始内容存档于2006-04-21）. 外部链接存在于|title= (帮助)

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch , Simon Winwood. seL4: Formal Verification of an OS Kernel (PDF). 2009 ACM SIGOPS Symposium on Operating Systems Principles. [2018-09-14]. （原始内容存档 (PDF)于2018-04-12）.

http://l4ka.org/projects/pistachio/. [2006-04-16]. （原始内容存档于2006-04-21）. 外部链接存在于|title= (帮助)
http://www.gnu.org/software/hurd/hurd-l4.html. [2006-04-16]. （原始内容存档于2010-12-23）. 外部链接存在于|title= (帮助)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch , Simon Winwood. seL4: Formal Verification of an OS Kernel (PDF). 2009 ACM SIGOPS Symposium on Operating Systems Principles. [2018-09-14]. （原始内容存档 (PDF)于2018-04-12）.