Probabilistic Model Checking for Biology

Publication
Software Systems Safety