Publication

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA, Proceedings of the 4th Usenix Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, USA, December 2008., January 2008
@inproceedings{abc,
	author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe},
	booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA},
	title = {Dependable Self-Hosting Distributed Systems Using Constraints.},
	url = {http://www.usenix.org/events/hotdep08/tech/full_papers/yin/yin.pdf},
	venue = {Proceedings of the 4th Usenix Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, USA, December 2008.},
	year = {2008}
}