Probabilistic Model Checking for Biology

Marta Z Kwiatkowska, Chris Thachuk
January 2014
Type
Journal article
Publication
Software Systems Safety