D.: Using probabilistic model checking in systems biology (2008)

by M Kwiatkowska, G Norman, Parker
Venue:PER