Dependable Self-Hosting Distributed Systems Using Constraints

@inproceedings {267976,
author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe},
title = {Dependable {Self-Hosting} Distributed Systems Using Constraints},
booktitle = {Fourth Workshop on Hot Topics in System Dependability (HotDep 08)},
year = {2008},
address = {San Diego, CA},
url = {https://www.usenix.org/conference/hotdep-08/dependable-self-hosting-distributed-systems-using-constraints},
publisher = {USENIX Association},
month = dec,
}