Probabilistic verification and analysis of biopathway dynamics - SUCHEENDRA KUMAR PALANIAPPAN (2013)
Ph.D