Article,
Building certified concurrent OS kernels.
R. Gu, Z. Shao, H. Chen, J. Kim, J. Koenig, X. Wu, V. Sjöberg, and D. Costanzo.Commun. ACM, 62 (10): 89-99 (2019)
Meta data
- BibTeX key
- journals/cacm/GuSCKKWSC19
- entry type
- article
- year
- 2019
- journal
- Commun. ACM
- number
- 10
- pages
- 89-99
- volume
- 62
- ee
- https://doi.org/10.1145/3356903
- url
- http://dblp.uni-trier.de/db/journals/cacm/cacm62.html#GuSCKKWSC19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/cacm/GuSCKKWSC19
%A Gu, Ronghui
%A Shao, Zhong
%A Chen, Hao
%A Kim, Jieung
%A Koenig, Jérémie
%A Wu, Xiongnan (Newman)
%A Sjöberg, Vilhelm
%A Costanzo, David
%D 2019
%J Commun. ACM
%K dblp
%N 10
%P 89-99
%T Building certified concurrent OS kernels.
%U http://dblp.uni-trier.de/db/journals/cacm/cacm62.html#GuSCKKWSC19
%V 62
@article{journals/cacm/GuSCKKWSC19,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Gu, Ronghui and Shao, Zhong and Chen, Hao and Kim, Jieung and Koenig, Jérémie and Wu, Xiongnan (Newman) and Sjöberg, Vilhelm and Costanzo, David},
biburl = {https://www.bibsonomy.org/bibtex/2bc7aba767af66558fc7d6f253b30f681/dblp},
ee = {https://doi.org/10.1145/3356903},
interhash = {ce730db35b3e5bb0fb21684d0bf522ac},
intrahash = {bc7aba767af66558fc7d6f253b30f681},
journal = {Commun. ACM},
keywords = {dblp},
number = 10,
pages = {89-99},
timestamp = {2024-04-09T02:13:15.000+0200},
title = {Building certified concurrent OS kernels.},
url = {http://dblp.uni-trier.de/db/journals/cacm/cacm62.html#GuSCKKWSC19},
volume = 62,
year = 2019
}