@book{566280,
	author = {Atif, Muhammad},
	title = {Formal modeling and verification of distributed failure detectors},
	publisher = {Geboren te},
	year = {2011},
	address = {Samundri, Pakistan}
}