@inproceedings{conf/srds/TsuchiyaS07,
	title = {Model Checking of Consensus Algorit.},
	author = {Tatsuhiro Tsuchiya and André Schiper},
	booktitle = {SRDS},
	crossref = {conf/srds/2007},
	pages = {137-148},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/srds/srds2007.html#TsuchiyaS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24b62115cd362a086f8410bb951003ec9/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/SRDS.2007.20}, date = {2008-04-25},
	keywords = {dblp }
}