000 00251nam a22000737a 4500
008 140529b xxu||||| |||| 00| 0 eng d
020 _cAvailable
245 _aThesis:Formal Frame Work for the Analysis of Biological Regulatory Networks Using Promela
_cUsman Rauf
999 _c24496
_d24496