@book{532519,
	author = { Razzaq Misbah},
	title = {MS/Thesis:Formal Verification of Internet Worm Propagation Model },
	publisher = {RCMS NUST},
	year = {2015},
	address = {Islamabad }
}