Probabilistic model checking of complex biological pathways (2006)

by J. Heath, M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn