Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe. Dependable Self-Hosting Distributed Systems Using Constraints. In Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008. USENIX Association, 2008. [doi]
@inproceedings{YinCBR08,
title = {Dependable Self-Hosting Distributed Systems Using Constraints},
author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full_papers/yin/yin.pdf},
tags = {constraints},
researchr = {https://researchr.org/publication/YinCBR08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {USENIX Association},
}