Thesis:Formal Frame Work for the Analysis of Biological Regulatory Networks Using Promela  
Usman Rauf 
<br/><br/><label>ISBN: </label> Available