%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 }