Gu, R., Shao, Z., Chen, H., Kim, J., Koenig, J., Wu, X., . . . Costanzo, D. (2019). Building Certified Concurrent OS Kernels. Communications of the ACM, 62(10), 89-100.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Gu, Ronghui, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan Wu, Vilhelm Sjöberg, and David Costanzo. "Building Certified Concurrent OS Kernels."
Communications of the ACM 62, no. 10 (2019): 89-100.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Gu, Ronghui, et al. "Building Certified Concurrent OS Kernels."
Communications of the ACM, vol. 62, no. 10, 2019, pp. 89-100.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.