@inproceedings {268798,
	author = {Joseph G. Slember and Priya Narasimhan},
	title = {Static Analysis Meets Distributed {Fault-Tolerance}: Enabling {State-Machine} Replication with Nondeterminism},
	booktitle = {Second Workshop on Hot Topics in System Dependability (HotDep 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/hotdep-06/static-analysis-meets-distributed-fault-tolerance-enabling-state-machine},
	publisher = {USENIX Association},
	month = nov
}
