TY  - BOOK
TI  - Thesis:Formal Frame Work for the Analysis of Biological Regulatory Networks Using Promela 
ER  -