seL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM.

MLA

Matos, Everton de, and Markku Ahvenjärvi. “SeL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM.” Electronics (2079-9292), vol. 11, no. 24, Dec. 2022, p. 4201. EBSCOhost, https://doi.org/10.3390/electronics11244201.

APA

Matos, E. de, & Ahvenjärvi, M. (2022). seL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM. Electronics (2079-9292), 11(24), 4201. https://doi.org/10.3390/electronics11244201

Chicago

Matos, Everton de, and Markku Ahvenjärvi. 2022. “SeL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM.” Electronics (2079-9292) 11 (24): 4201. doi:10.3390/electronics11244201.