Probabilistic model checking of complex biological pathways (0)

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