Probabilistic model checking of complex biological pathways (2007)

by J Heath, M Kwiatkowska, G Norman, D Parker, O Tymchyshyn
Venue:Theor. Comput. Sci