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 May 4];36(4):925-49. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925