Eftime P, Mogoşanu L, Carabaş M, Deaconescu R, Gheorghe L, Voiculescu VG. Optimizing Memory Usage in L4-Based Microkernel. Comput. Inform. [Internet]. 2017 Nov. 29 [cited 2024 Nov. 7];36(4):925-49. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2017_4_925