@book{12979,
	author = {Ainan Ihsan },
	title = {Formal verification of leach protocol, and its extensions along with a remote serial network},
	publisher = {NUST SEECS Islamabad },
	year = {2014},
	address = {NUST SEECS Islamabad },
	note = {Supervisor ; Dr Osman Hassan },
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/24303}
}