@book{24496,
	title = {Thesis:Formal Frame Work for the Analysis of Biological Regulatory Networks Using Promela }
}