About: sel4

Head noun: sel4

Same concepts
http://dbpedia.org/resource/L4_microkernel_family

Broader concepts

label	provenance	confidence
microkernel	isap:419255033	0.200533

Narrower concepts

label	provenance	confidence