Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/osdi/ChajedKLZ18
%A Chajed, Tej
%A Kaashoek, M. Frans
%A Lampson, Butler W.
%A Zeldovich, Nickolai
%B OSDI
%D 2018
%E Arpaci-Dusseau, Andrea C.
%E Voelker, Geoff
%I USENIX Association
%K dblp
%P 306-322
%T Verifying concurrent software using movers in CSPEC.
%U http://dblp.uni-trier.de/db/conf/osdi/osdi2018.html#ChajedKLZ18
@inproceedings{conf/osdi/ChajedKLZ18,
added-at = {2021-02-02T00:00:00.000+0100},
author = {Chajed, Tej and Kaashoek, M. Frans and Lampson, Butler W. and Zeldovich, Nickolai},
biburl = {https://www.bibsonomy.org/bibtex/2763d50d0f002fb77c2fc8d60b30e70f3/dblp},
booktitle = {OSDI},
crossref = {conf/osdi/2018},
editor = {Arpaci-Dusseau, Andrea C. and Voelker, Geoff},
ee = {https://dl.acm.org/citation.cfm?id=3291191},
interhash = {6cc1a7262158c4f351ef82910d10b427},
intrahash = {763d50d0f002fb77c2fc8d60b30e70f3},
keywords = {dblp},
pages = {306-322},
publisher = {USENIX Association},
timestamp = {2024-04-09T21:10:24.000+0200},
title = {Verifying concurrent software using movers in CSPEC.},
url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2018.html#ChajedKLZ18},
year = 2018
}