Using probabilistic model checking in systems biology (0)

by M Kwiatkowska, G Norman, D Parker
Venue:ACM SIGMETRICS Performance Evaluation Review