Using Probabilistic Model Checking in Systems Biology. (2008)

by M Kwiatkowska, G Norman, D Parker
Venue:Association for Computing Machinery.